CLIPS-forall条件元素和exists条件元素

１、forall，表示每次出另一个CE时，一组CE被满足的情况。格式如下

(forall<first-CE><remaining-CEs>+)，为使forallCE得到满足，每个匹配<first-CE>的事实必须匹配所有><remaining-CEs>事实。

２、exists<事实>，表示至少存在一个事实与某模式匹配，而不管实际匹配该模式的事实总数。

3、操作

CLIPS (Quicksilver Beta 09/24/07)
CLIPS> (defrule test-number
(forall (number ?num)(test (>= ?num 0)))
=>
(printout t "OK" crlf))
CLIPS> (assert (number 90))
<Fact-1>
CLIPS> (run)
OK
CLIPS> (assert (number 80))
<Fact-2>
CLIPS> (refresh test-number)
CLIPS> (run)
OK
CLIPS> (assert (number -90))
<Fact-3>
CLIPS> (refresh test-number)
CLIPS> (run)

CLIPS>