family.pl

text/x-perl icon family.pl — text/x-perl, 1 KB

File contents

parent(pam,bob).
parent(tom,bob).
parent(tom,liz).
parent(bob,ann).
parent(bob,pat).
parent(pat,jim).

male(bob).
male(tom).
male(jim).

female(pam).
female(liz).
female(pat).
female(ann).

grandparent(X,Y) :- parent(X,Z), parent(Z,Y).

father(X,Y) :- parent(X,Y), male(X).

greatgrandfather(X,Y) :- father(X,Z), grandparent(Z,Y).

person(X) :- male(X).
person(X) :- female(X).

ancestor(X,X) :- person(X).
ancestor(X,Y) :- parent(X,Z), ancestor(Z,Y).
Kontakt

small ke-icon

Knowledge Engineering Group

Fachbereich Informatik
TU Darmstadt

S2|02 D203
Hochschulstrasse 10
D-64289 Darmstadt

Sekretariat:
Telefon-Symbol+49 6151 16-21811
Fax-Symbol +49 6151 16-21812
E-Mail-Symbol info@ke.tu-darmstadt.de

 
A A A | Drucken | Impressum | Sitemap | Suche | Mobile Version
zum Seitenanfangzum Seitenanfang