% Marge ist Mutter von Lisa und Bart
mother(marge, lisa).
mother(marge, bart).
father(homer, bart).
father(grampa, homer).

% Wenn Homer der Vater von Bart ist,
% ist er auch ein Elternteil von ihm
parent(homer, bart) :- father(homer, bart).
parent(grampa, homer) :- mother(grampa, homer).
parent(grampa, homer) :- father(grampa, homer).
parent(homer, nelson) :- father(homer, nelson).

% Grampa ist Großelternteil von Bart,
% wenn er Elternteil von Homer
% und Homer Elternteil von Bart ist
grandparent(grampa, bart) :-
    parent(grampa, homer), parent(homer, bart).
grandparent(grampa, nelson) :-
    parent(grampa, homer), parent(homer, nelson).