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.
|
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).
|