% Family relationships program
% progpar.pl

parent(henry_II, john).
parent(john, henry_III).
parent(isabella, henry_III).
parent(henry_III, edward_I).

grandparent(A, B) :- parent(A, C), parent(C, B).

greatgrandparent(D, E) :- grandparent(D, F), parent(F, E).