(defrule rson
(person (name ?x) (gender male))
(person (name ?y))
(parent (parentname ?y) (childname ?x))
=>
(printout t ?x “ is a son of ” ?y crlf)
(assert (son (name1 ?x) (name2 ?y)))
)