Display program code

family.pl : Inferring family relationships
Family relationships father, mother, parent, sibling and orphan are inferred.

How to use:
The following constraints are defined:
person(P,S): sex of person P is S (S=male | female)
father(F,C): F is father of C
mother(M,C): M is mother of C
parent(P,C): P is parent of C
orphan(P): P is an orphan (no mother or father)
sibling(A,B): A and B are siblings
diff(A,B): A and B are different persons

Program: Change the code, then submit!

Console: Enter query or select example from below, then submit and wait for answer!

Select example query: 

CHR
WebCHR help - CHR Website - (c) Copyrights Martin Kaeser Uni Ulm 2007