backward up forward refresh
home
login
about

: 

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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

kobieta(maria).
kobieta(ewa).
kobieta(joanna).
kobieta(agata).
kobieta(beata).
kobieta(anna).
kobieta(agnieszka).
kobieta(iwona).

mezczyzna(piotr).
mezczyzna(marek).
mezczyzna(adam).
mezczyzna(robert).
mezczyzna(jan).
mezczyzna(krzysztof).
mezczyzna(radek).
mezczyzna(darek).
mezczyzna(tomek).
mezczyzna(jacek).

rodzic(maria, marek).
rodzic(piotr, marek).
rodzic(maria, agata).
rodzic(piotr, agata).
rodzic(maria, jan).
rodzic(piotr, jan).
rodzic(ewa, anna).
rodzic(adam, anna).
rodzic(ewa, joanna).
rodzic(adam, joanna).
rodzic(ewa, krzysztof).
rodzic(adam, krzysztof).
rodzic(robert, radek).
rodzic(agata, radek).
rodzic(robert, beata).
rodzic(agata, beata).
rodzic(jan, darek).
rodzic(anna, darek).
rodzic(jan, tomek).
rodzic(anna, tomek).
rodzic(krzysztof, jacek).
rodzic(agnieszka, jacek).
rodzic(krzystof, iwona).
rodzic(agnieszka, iwona).

matka(X, Y) :- kobieta(X), rodzic(X, Y).

ojciec(X, Y) :- mezczyzna(X), rodzic(X, Y).

siostra(X, Y) :- kobieta(X), rodzic(Z, X), rodzic(Z, Y), X \= Y.

brat(X, Y) :- mezczyzna(X), rodzic(Z, X), rodzic(Z, Y), X \= Y.

babcia(X, Y) :- kobieta(X), rodzic(X, Z), rodzic(Z, Y).

dziadek(X, Y) :- mezczyzna(X), rodzic(X, Z), rodzic(Z, Y).

stryj(X, Y) :- mezczyzna(X), brat(X, Z), rodzic(Z, Y).

wuj(X, Y) :- mezczyzna(X), siostra(X, Z), rodzic(Z, Y).
Text file (PRO), size: 1.32 KB