/* this file defines various facts about the House of Stuart. */ /* The various fact declarations in it should be read thus: */ /* father(person1,person2). means person1 is father of person2. */ /* mother( " , " ). " " " mother " " . */ /* and so on. Note that 'ggparent' stands for "great-grand-parent". */ father(robert_II,robert_III). father(robert_III,james_I). father(james_I,james_II). mother(joan_beaufort,james_II). father(james_II,james_III). father(james_II,alexander_duke_of_albany). father(james_II,mary). /* the next two relationships are for historical */ /* convenience. It saves having to clutter things */ /* up with lord_james_hamilton's children ... */ /* Note prolog DOESN'T know what 'ggfather' means. */ ggfather(lord_james_hamilton,matthew_earl_of_lennox). ggmother(mary,matthew_earl_of_lennox). father(james_III,james_IV). father(james_IV,james_V). mother(margaret_tudor,james_V). mother(margaret_tudor,margaret). father(douglas_earl_of_angus,margaret). father(james_V,mary_queen_of_scots). mother(mary_of_guise,mary_queen_of_scots). mother(mary_queen_of_scots,james_VI_and_I). father(darnley,james_VI_and_I). mother(margaret,darnley). father(matthew_earl_of_lennox,darnley). mother(margaret,charles_earl_of_lennox). father(matthew_earl_of_lennox,charles_earl_of_lennox). father(charles_earl_of_lennox,lady_arabella_stuart).