Untitled

mail@pastecode.io avatar
unknown
plain_text
7 months ago
1.4 kB
1
Indexable
Never
kobieta(ewa).
kobieta(ola).
kobieta(ala).
kobieta(marta).
kobieta(anna).
kobieta(iza).
mezczyzna(adam).
mezczyzna(piotr).
mezczyzna(pawel).
mezczyzna(jan).
mezczyzna(tomasz).
mezczyzna(roman).

rodzic(adam, ala).
rodzic(adam, piotr).
rodzic(adam, ola).
rodzic(adam, pawel).
rodzic(ewa, ala).
rodzic(ewa, piotr).
rodzic(ewa, ola).
rodzic(ewa, pawel).
rodzic(jan, tomasz).
rodzic(jan, anna).
rodzic(marta, tomasz).
rodzic(marta, anna).
rodzic(ola, roman).
rodzic(tomasz, roman).
rodzic(pawel, iza).
rodzic(anna, iza).

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

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

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

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

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

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

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

ciocia(X, Y):-
kobieta(X),
rodzic(Z, Y),
rodzenstwo(X, Z).

wujek(X, Y):-
mezczyzna(X),
rodzic(Z, Y),
rodzenstwo(X, Z).

kuzyn(X, Y):-
mezczyzna(X),
rodzic(Z, Y),
rodzic(A, X),
rodzenstwo(A, Z).

kuzynka(X, Y):-
kobieta(X),
rodzic(Z, Y),
rodzic(A, X),
rodzenstwo(A, Z).

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

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

przodek(X, Y):-
rodzic(X, Y).
przodek(X, Y):-
rodzic(X, Z),
przodek(Z, Y).