Zajecia1-prolog

rodzic(ewa,kain).
rodzic(ewa,abel).
rodzic(ewa,set).
rodzic(ewa,rabbi).

rodzic(adam,kain).
rodzic(adam,abel).
rodzic(adam,set).
rodzic(adam,rabbi).

mezczyzna(adam).
mezczyzna(kain).
mezczyzna(abel).
mezczyzna(set).

kobieta(ewa).
kobieta(rabbi).

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

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

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

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

siostra(X,Y) :- rodzenstwo(X,Y), kobieta(X).

brat(X,Y) :- rodzenstwo(X,Y), mezczyzna(X).

dziadek(X,Y) :- ojciec(X1,X2), rodzic(X2,X1).

babcia(X,Y) :- matka(X1,X2), rodzic(X2,X1).

ciocia(X,Y) :- rodzic(Z,Y), siostra(X,Z).

wujek(X,Y) :- rodzic(Z,Y), brat(X,Z).

/**
 * silnia(0,1) :- !.
 * silnia(N,S) :- N1 is N-1, silnia(N1, S1), S is S1*N.
 * Kolejne zadania:
 * 1) NWD
 * 2) Silnia z ilu jest rowna X?
 */


nwd(0, X, X) :-!.
nwd(X, 0, X) :-!.
nwd(X, X, X) :-!.
nwd(M, N, X) :- N>M, Y is N-M, nwd(M, Y, X).
nwd(M, N, X) :- N<M, Y is M-N, nwd(Y, N, X).