LHSで満足しているOR条件を確認する

Question

LHSの満足または条件をどのようにして得ることができますか？

など。私は試しましたが、これで失敗しました：

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

Answer 1

パターン条件要素をパターンアドレスにのみバインドできます。パターン・アドレス・バインディングを、条件要素の各論理和にバインドする特定のパターンに配布してください。例：

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