Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
9 lines (7 sloc) 223 Bytes
(rule (grandson ?grandpa ?grandson)
(and (son? ?father ?grandson)
(son? ?grandpa ?father)))
(rule (all-son ?person ?son)
(or (son ?person ?son)
(and (son ?spouse ?son)
(wife ?spouse ?person))))