ordered fact (emergency fire)
unordered fact (emergency (type fire))
rule (defrule fire-emergency "Example"
(emergency fire)
=>
(assert (action ... )))
Recognize/Act Cycle
Forward Chaining
(defrule person-without-brown-nor-black-hair
(person (name ?name)
(hair ?color&~brown|~black))
=>
(printout t ?name " has " ?color " hair." crlf))
(defrule process-moved-information
?f1 <- (moved (name ?name) (address ?address))
?f2 <- (person (name ?name))
=>
(retract ?f1)
(modify ?f2 (address ?address)))
Next Introduction Up Home