Cotta

Aus ProgrammingWiki

Archivierte Version vom 2012-01-25T14:17:07+00:00. Aktuelle Version

sohn(S):-mann(S),vater(V,S).
mann(adam).
mann(frank).
frau(eva).
frau(daniela).
frau(ulrike).
vater(tobias,frank).
vater(tobias,ulrike).
mutter(eva,tobias).
mutter(daniela,frank).
vater(adam,tobias).
mann(tobias).

mutter(daniela,ulrike).

?-mann(tobias).
?-mann(heinrich).

Cotta

Suche