% windsor.pl
% Gene Rohrbaugh, 27 October 2007
% See http://en.wikipedia.org/wiki/British_monarchs'_family_tree 

%---------
% facts
%---------

male(andrewpog).
male(george).
male(philip).
male(antony).
male(david).
male(edward).
male(charles).
male(mark).
male(andrew).
male(william).
male(harry).
male(john).

female(alice).
female(lizzie).
female(elizabeth).
female(margaret).
female(sarah).
female(sophie).
female(anne).
female(diana).
female(fergie).
female(beatrice).
female(eugenie).
female(frances).

parent(william, charles).
parent(william, diana).

parent(harry, charles).
parent(harry, diana).

parent(diana, john).
parent(diana, frances).

parent(charles, philip).
parent(charles,elizabeth).

parent(edward, philip).
parent(edward, elizabeth).

parent(anne, philip).
parent(anne,elizabeth).

parent(andrew, philip).
parent(andrew, elizabeth).

parent(philip, alice).
parent(philip, andrewpog).

parent(elizabeth,lizzie).
parent(elizabeth, george).

parent(margaret, lizzie).
parent(margaret, george).

parent(david, margaret).
parent(david, antony).

parent(sarah, margaret).
parent(sarah, antony).

parent(beatrice, andrew).
parent(beatrice, fergie).

parent(eugenie, andrew).
parent(eugenie, fergie).

married(sophie, edward).
married(charles, diana).
married(john, frances).
married(andrew, fergie).
married(anne, mark).
married(philip, elizabeth).
married(antony, margaret).
married(george, lizzie).
married(alice, andrewpog).