Skip to content

Commit

Permalink
- rename people to match the simpler scheme
Browse files Browse the repository at this point in the history
  • Loading branch information
rjp committed May 20, 2010
1 parent f7f1df6 commit 90df84c
Showing 1 changed file with 14 additions and 14 deletions.
28 changes: 14 additions & 14 deletions relativity/facts.pl
@@ -1,28 +1,28 @@
% first things first, the gender of the cast players
male(dad).
male(man).
male(boy).
male(boytwo).
male(ft).
male(me).
male(b2).
male(b1).
female(mum).
female(widow).
female(stepdot).
female(wd).
female(sd).

% I married the widow
married(man, widow).
% I married the wd
married(me, wd).
% my father ...
father(dad, man).
father(ft, me).
% ... married the stepdaughter
daughter(stepdot, widow).
married(dad, stepdot).
daughter(sd, wd).
married(ft, sd).

% stepdaughter has a boy
son(boy,stepdot).
son(b2,sd).

% my wife also has a boy
son(boytwo,widow).
son(b1,wd).
%
% implicit in the story
mother(mum, man).
mother(mum, me).

% direct child-parent relationships
isdirectchild(Child,Parent) :- son(Child,Parent).
Expand Down

0 comments on commit 90df84c

Please sign in to comment.