You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 lines
168 B
7 lines
168 B
5 years ago
|
father(zeb, john_boy_sr).
|
||
|
father(john_boy_sr, john_boy_jr).
|
||
|
father(john_boy_jr, hank).
|
||
|
|
||
|
ancestor(X, Y) :- father(X, Y).
|
||
|
ancestor(X, Y) :- father(X, Z), ancestor(Z, Y).
|