
/* facts
*/

father( wolf, ted).
father( jethro, wolf).

/* rules
*/

ancestor(X, Y) :- father(X, Z), ancestor(Z, Y).
ancestor(X, Y) :- father(X, Y). 

/* queries

| ?- ancestor( jethro, X).
*/
