在 CLIPS 中使用 find fact

Question

我有一个事实

(is-started TRUE)

我想知道事实是否存在

(any-factp ((?is (is-started TRUE))) TRUE)

但这给了我 Missing function declaration for is-started.

我如何确定这个事实是否存在于 any-factp 中？

Answer 1

可以使用名为 implied 的隐式定义的多字段槽访问隐式 deftemplate 事实的字段：

CLIPS> (assert (is-started TRUE))
<Fact-1>
CLIPS> (any-factp ((?f is-started)) TRUE)
TRUE
CLIPS> (any-factp ((?f is-started)) (eq ?f:implied (create$ TRUE)))
TRUE
CLIPS> (any-factp ((?f is-started)) (eq ?f:implied (create$)))
FALSE
CLIPS>

在 CLIPS 中使用 find fact

Using find fact in CLIPS

expert-system

clips