在 LHS 中得到满足 OR 条件的事实

【问题标题】：Get fact that satisfied OR condition in LHS在 LHS 中得到满足 OR 条件的事实
【发布时间】：2016-08-08 08:59:20
【问题描述】：

我怎样才能得到满足 LHS 中的 or 条件的事实？

例如我试过但失败了：

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

【问题讨论】：

标签： clips

【解决方案1】：

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

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

【讨论】：