CLIPS规则报错：Undefined variable ?x referenced in RHS of defrule原因咨询

问题场景 #

定义的事实 #

(person "Mark")
(person "Nail")
(person "Stark")
(person "Maria")

(married "Stark" "Maria")

报错的规则 #

(defrule single
(not (married ?x ?))
(not (married ? ?x))
=> (assert (single ?X)))

错误提示 #

Undefined variable ?x referenced in RHS of defrule

修改后正常运行的规则 #

(defrule single
(person ?x)
(not (married ?x ?))
(not (married ? ?x))
=> (assert (single ?X)))

原因解析 #

这是CLIPS规则引擎的变量绑定机制导致的：

• 规则右半部分（=>之后的执行逻辑）要使用的变量，必须先在左半部分的正向事实条件中完成绑定。
• 第一个错误规则里，?x只出现在not包裹的负向条件中。负向条件的作用是检查「不存在某类事实」，它不会给变量绑定具体值——因为没有匹配到对应的实际事实，?x根本没有被赋值，到右半部分引用时自然会触发“变量未定义”的错误。
• 修改后的规则添加了(person ?x)这个正向事实条件：CLIPS会遍历所有person类型的事实，把每个具体的个体绑定给?x，之后再通过负向条件检查该个体是否没有婚姻关系。此时?x已经有了明确的绑定值，右半部分就能正常使用它来断言single事实了。

内容的提问来源于stack exchange，提问作者yaminoyuki