CLIPS

;;;Hello World in CLIPS

(deffacts facts (a))

(defrule rule1 "Hello World"
 ?a<-(a)
=>
 (retract ?a)
 (printout t "Hello World" crlf)
 (assert (a))
)