fork download
  1. father(zeb, john_boy_sr).
  2. father(john_boy_sr, john_boy_jr).
  3.  
  4. ancestor( X, Y) :-
  5. father( X,Y).
  6.  
  7. ancestor( X, Y) :-
  8. father( X, Z), ancestor(Z, Y).
  9.  
  10.  
Success #stdin #stdout 0.02s 68352KB
stdin
Standard input is empty
stdout
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz