1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
mann(jürgen). mann(detlef). mann (frank). mann (peter). mann(jochen).
frau(gaby). frau(yvonne). frau(sinha). frau(rita). frau(viktoria).
frau(adelheid).
vater(gaby, peter). vater(yvonne, peter). vater(frank, peter).
mutter(gaby, rita). mutter(yvonne, rita). mutter(frank, rita).
mutter(rita,viktoria).
vater(jürgen, heinz). mutter(jürgen, natalie).
vater(kalle, heinz). mutter(kalle, natalie).
mann(gaby, jürgen). mann(yvonne, detlef). mann(sinha,frank).
mann(rita, peter). mann(adelheid, jochen).
frau(X,Y) :- mann (Y,X).
großmutter(X,Y):- mutter(X,H), mutter(H,Y); vater(X,H), mutter(H,Y).
sohn(X,Y):- vater(Y,X), mann(Y); mutter(Y,X), mann(Y) .
tochter(X,Y):- vater(Y,X), frau(Y); mutter(Y,X), frau(Y).
geschwister(X,Y):-vater(X,A),vater(Y,A),mutter(X,B),mutter(Y,B),<>(X,Y).
bruder(X,Y):- geschwister(X,Y), mann(Y).
schwester(X,Y):- geschwister(X,Y), frau(Y).
schwager(X,Y):- mann(X,Z), bruder(Z,Y); frau(X,Z), bruder(Z,Y).
schwägerin(X,Y):-mann(X,Z),schwester(Z,Y);frau(X,Y),schwester(Z,Y).
freund (X,Y):- mann(Y), mann(X), <>(X,Y);
mann(Y), frau(X), mann(Z,Y), <>(X,Z);
mann(Y), frau(X), !, mann(Z,Y), [];
mann(Y), frau(X).
freundin (X,Y):- frau(Y), frau(X), <>(X,Y);
frau(Y), mann(X), mann(Y,Z), <>(X,Z);
frau(Y), mann(X), !, mann(Y,Z), [];
frau(Y), mann(X).
|