Erhalten Tatsache, dass zufrieden oder OR-Bedingung in LHS

Question

Wie bekomme ich die Tatsache, dass eine Bedingung in einem LHS erfüllt?

z. Ich habe es versucht, aber es ist damit nicht gelungen:

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

Answer 1

Sie können nur ein strukturbedingtes Element an eine Musteradresse binden. Verteilen Sie die Musteradressbindungen einfach an das spezifische Muster, das Sie in jedem Disjunkt des oder bedingten Elements binden möchten. Zum Beispiel:

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