在断言新事实时保持 CLIPS 运行

Question

是否可以在断言新事实的同时保持 CLIPS 运行？

执行示例

之后可能不需要 make（运行）来测试该程序每个断言命令？我的意思是，只创建一个（运行），然后当我插入新事实时自动触发规则。

提前致谢！

Answer 1

您可以使用辅助函数来执行断言和后续运行：

         CLIPS (6.4 2/9/21)
CLIPS> 
(deffunction push (?value)
   (assert-string (str-cat "(push-value " ?value ")"))
   (run))
CLIPS> 
(deffunction assert* (?value)
   (assert-string ?value)
   (run))
CLIPS> 
(defrule push-to-stack
   ?s <- (stack $?stack)
   ?p <- (push-value ?v)
   =>
   (println "Pushing value " ?v)
   (retract ?s ?p)
   (assert (stack ?v ?stack)))
CLIPS> (assert (stack))
<Fact-1>
CLIPS> (push 3)
Pushing value 3
CLIPS> (assert* "(push-value 4)")
Pushing value 4
CLIPS> 

为了进行测试，您还可以创建一个包含命令的文件（如下所示），然后使用批处理命令自动执行文件中的所有命令。

(assert (stack))
(assert (push-value 3))
(assert (run))
(assert (push-value 4))
(run)
(assert (push-value 9))
(assert (push-value 2))
(run)