I have a very simple base:
%rule base parent(X, Y):- father(X, Y). parent(X, Y):- mother(X, Y). grandfather(X, Z):- father(X, Y), parent(Y, Z). grandmother(X, Z):- mo