2018-03-21 Prog.Dek. - rekurencja

%	0!=1
%	n!=n+(n-1)!
%-------------------------
%	0-liczba naturalna
%	succ(n)-liczba naturalna
%	n=succ(n-1)
%-------------------------
%	KLOCKI-rekurencja
%	na(X,Y)
%	opis: spełniony, gdy X leży bezpośrednio na Y

na(d,c).
na(c,a).
na(c,b).
na(a,e).
na(b,g).

%	nad(X,Y)
%	opis: spełniony gdy X leży nad Y niekoniecznie bezpośrednio
%	Definicja rekurencyjna:
%	Warunek zakończenia rekurencji: X leży nad Y, jeżeli X leży na Y,

nad(X,Y):-
na(X,Y).

%Rekurencja: jeżeli X leży nad Y, ale nie na Y, to istnieje klocek Z, taki że X leży na Z, a Z leży nad Y

nad(X,Y):-
na(X,Z),
nad(Z,Y).

%-----------------------------