/*  ROYALTY.PL  */
 
 
/*  This file is taken from the DEC-10 public domain library.  */
 
 
parent(victoria,victoria_adelaide).
parent(victoria,edward_VII).
parent(victoria,alice).
parent(victoria,alfred).
parent(victoria,helena).
parent(victoria,louise).
parent(victoria,arthur).
parent(victoria,leopold).
parent(victoria,beatrice).
 
parent(albert,victoria_adelaide).
parent(albert,edward_VII).
parent(albert,alice).
parent(albert,alfred).
parent(albert,helena).
parent(albert,louise).
parent(albert,arthur).
parent(albert,leopold).
parent(albert,beatrice).
 
parent(victoria_adelaide,william_II).
parent(frederick_III,william_II).
 
parent(edward_VII,albert_duke_of_clarence).
parent(edward_VII,george_V).
parent(edward_VII,louise_princess_royal).
parent(edward_VII,victoria_2).
parent(edward_VII,maud).
parent(edward_VII,alexander_john).
 
parent(alexandra,albert_duke_of_clarence).
parent(alexandra,george_V).
parent(alexandra,louise_princess_royal).
parent(alexandra,victoria_2).
parent(alexandra,maud).
parent(alexandra,alexander_john).
 
parent(george_V,edward_VIII).
parent(george_V,george_VI).
parent(george_V,mary).
parent(george_V,henry).
parent(george_V,george).
parent(george_V,john).
 
parent(mary_of_teck,edward_VIII).
parent(mary_of_teck,george_VI).
parent(mary_of_teck,mary).
parent(mary_of_teck,henry).
parent(mary_of_teck,george).
parent(mary_of_teck,john).
 
parent(george_VI,elizabeth_II).
parent(george_VI,margaret).
 
parent(elizabeth,elizabeth_II).
parent(elizabeth,margaret).
 
parent(elizabeth_II,charles).
parent(elizabeth_II,anne).
parent(elizabeth_II,andrew).
parent(elizabeth_II,edward).
 
parent(philip,charles).
parent(philip,anne).
parent(philip,andrew).
parent(philip,edward).
 
parent(anne,peter).
parent(anne,zara).
 
parent(mark,peter).
parent(mark,zara).
 
parent(henry,william).
parent(henry,richard).
 
parent(alice_montagu_douglas_scott,william).
parent(alice_montagu_douglas_scott,richard).
 
parent(george,edward_duke_of_kent).
parent(george,alexandra_2).
parent(george,michael).
 
parent(marina,edward_duke_of_kent).
parent(marina,alexandra_2).
parent(marina,michael).
 
parent(edward_duke_of_kent,george_earl_of_st_andrews).
parent(edward_duke_of_kent,helen).
parent(edward_duke_of_kent,nicholas).
 
parent(katherine,george_earl_of_st_andrews).
parent(katherine,helen).
parent(katherine,nicholas).
 
parent(margaret,david).
parent(margaret,sarah).
 
parent(antony,david).
parent(antony,sarah).
 
/*--------------------------------------------------------------------------*/
 
/* marriages */
 
married(albert,victoria).
married(frederick_III,victoria_adelaide).
married(edward_VII,alexandra).
married(george_V,mary_of_teck).
married(alexander_duff,louise_princess_royal).
married(haakon_VII,maud).
married(edward_VIII,wallis).
married(george_VI,elizabeth).
married(henry_earl_of_harewood,mary).
married(henry,alice_montague_douglas_scott).
married(george,marina).
married(elizabeth,philip).
married(margaret,antony).
married(mark,anne).
married(charles,diana).
married(richard,birgitte).
married(edward,katherine).
married(angus,alexandra).
 
/*--------------------------------------------------------------------------*/
 
/* persons */
 
female(victoria).
male(albert).
female(victoria_adelaide).
male(frederick_III).
male(william_II).
male(edward_VII).
female(alexandra).
female(alice).
male(alfred).
female(helena).
female(louise).
male(arthur).
male(leopold).
female(beatrice).
male(albert_duke_of_clarence).
male(george_V).
female(mary_of_teck).
female(louise_princess_royal).
female(alexander_duff).
female(victoria_2).
female(maud).
male(haakon_VII).
male(alexander_john).
male(edward_VIII).
female(wallis).
male(george_VI).
female(elizabeth).
female(mary).
male(henry_earl_of_harewood).
male(henry).
female(alice_montagu_douglas_scott).
male(george).
female(marina).
male(john).
female(elizabeth_II).
male(philip).
female(margaret).
male(william).
male(richard).
female(birgitte).
male(edward).
female(katherine).
female(alexandra_2).
male(angus).
male(michael_george).
male(charles).
female(diana).
female(anne).
male(mark).
male(peter).
female(zara).
male(andrew).
male(edward).
male(david).
female(sarah).
male(alexander).
male(george_earl_of_st_andrews).
female(helen).
male(nicholas).
