;;definizione template Genitore-Figlio
(deftemplate parent (slot parent-name)(slot child-name))

;;defizione fatti della famiglia
(deffacts family-dag
(parent(parent-name Jenny)(child-name Frank))
(parent(parent-name Jenny)(child-name Julian))
(parent(parent-name John)(child-name Frank))
(parent(parent-name John)(child-name Julian))
(parent(parent-name Julian)(child-name Tony))
(parent(parent-name Julian)(child-name Rose))
(parent(parent-name Laura)(child-name Tony))
(parent(parent-name Laura)(child-name Rose))
(parent(parent-name Johna)(child-name Mary))
(parent(parent-name Mary)(child-name Anna))
(parent(parent-name Frank)(child-name Anna))
(female Jenny)
(male John)
(male Julian)
(female Laura)
(male Tony)
(female Rose)
(female Mary)
(female Anna)
(male Johna)
(male Frank))