获得LHS满意OR条件的事实

Question

我怎样才能得到LHS满意或条件的事实？

E.g。我试过但是失败了：

(defrule rule
    ?f<-(or (fact1) (fact2))
    =>
    (retract ?f)
)

Answer 1

您只能将模式条件元素绑定到模式地址。只需将模式地址绑定分发到您想要绑定在条件元素的每个分区中的特定模式。例如：

(defrule rule
  (or ?f <- (fact1) 
      ?f <- (fact2)
      (and (fact3)
           ?f <- (fact4)))
  =>
  (retract ?f))