Blame | Last modification | View Log | RSS feed
mother(charles,elizabeth).father(charles,phillip).mother(andrew,elizabeth).father(andrew,phillip).mother(edward,elizabeth).father(edward,phillip).mother(william,diana).father(william,charles).mother(harry,diana).father(harry,charles).mother(elizabeth,elizabeth_tqm).father(elizabeth,george).grandfather(X,Y) :- father(X,Z),father(Z,Y).grandfather(X,Y) :- mother(X,Z),father(Z,Y).