Programming_in_C_repo/Tools_notes1 at main · Daniil845270/Programming_in_C_repo · GitHub

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
parent(pugsley, gomez).
parent(pugsley, wednesday).
parent(pugsley, pubert).
parent(morticia, gomez).
parent(morticia, wednesday).
parent(morticia, pubert).

parent(debbie_jellinski, sharron).
parent(debbie_jellinski, dave).

parent(fester, father).
parent(fester, eudora_esmerelda_frump).
parent(gomez, father).
parent(gomez, eudora_esmerelda_frump).

parent(morticia, hester_frump).
parent(morticia, father_frump).
parent(ophella, hester_frump).
parent(ophella, father_frump).

parent(eudora_esmerelda_frump, mooma).
parent(eudora_esmerelda_frump, slurp_frump).
parent(father_frump, mooma).
parent(father_frump, slurp_frump).
parent(jester_frump, mooma).
parent(jester_frump, slurp_frump).
parent(sloom_addams, mooma).
parent(sloom_addams, slurp_frump).

sibling(X, Y) :- parent(X, Z), parent(Y, Z), X != Y.
grandparent(X,Z) :- parent(X,Y), parent(Y,Z).
cousin(X, Y) :- grandparent(X,Z), grandparent(Y,Z), X!=Y.
uncle_aunt(A, B) :- parent(A, C), sibling(B, C).