% Logik og sprog, Modul 2, datalogi RUC      Henning Christiansen
%
% 
% Familieprogrammet fra Bratkos bog

parent(pam, bob).
parent(tom, bob).
parent(tom, liz).
parent(bob, ann).
parent(bob, pat).
parent(pat, jim).

grandparent(X, Z):-
    parent(X, Y),
    parent(Y, Z).

female(pam).
male(tom).
male(bob).
female(liz).
female(pat).
female(ann).
male(jim).

mother(X, Y):-
      parent(X, Y),
      female(X).

sister(X,Y):-
    parent(Z, X),
    parent(Z, Y),
    female(X),
    dif(X,Y). % X \== Y.

% pred =
% predecessor(.. en ane, .. dig)


pred(X, Z):-
        pred(Y, Z),
        parent(X, Y).

pred(X, Z):-
        parent(X, Z).

% Flyt rundt paa regler og kald i kroppen indtil
% du naar en "god" implementation - og hvad betyder det?