Seminar/Cotta

Wiki-Quelltext dieser Seite.

<language>Prolog</language>
<code id="4f200a30440c4">
mann(adam).
mann(tobias).
mann(frank).
frau(eva).
frau(daniela).
frau(ulrike).
vater(adam,tobias).
vater(tobias,frank).
vater(tobias,ulrike).
mutter(eva,tobias).
mutter(daniela,frank).
mutter(daniela,ulrike).

sohn(S):-(mann(S),vater(V,S)).
</code>

<run id="4f2008823bb08">     
?-mann(tobias).
?-mann(heinrich).
 </run>