(defrule hw (f ?x) => (printout t ?x crlf)) (assert (f "Hello World")) (run)