klocki4.txt

%KLOCKI1
%Definiowane pradykaty: na/2
%Predykaty zewn黎rzne: ---
%===========================================


%na/2
%na(X1,X2): speｳniony gdy klocek X1 leｿy bezpo徨ednio pod klockiem X2
%Ogranieczenia:---
%-------------------------------------------

na(d,c).	%klocek d leｿy na c
na(c,a).	%klocek c leｿy na a	
na(c,b).	%klocek c leｿy na b



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


%pod/2
%pod(X1,X2) - speｳniony gdy X1 leｿy bezpo徨enio pod X2
%-------------------------------------------
%pod(X,Y):-na(Y,X).

%-------------------------------------------
%miedzy/3
%miedzy(X,Y,Z) - speｳniony gdy klocek Y leｿy mi鹽zy klockiem X i Z

%miedzy(X,Y,Z):-pod(Y,X),
				na(Y,Z).
%miedzy(X,Y,Z):-pod(Y,Z),
				na(Y,X).

%-------------------------------------------
%nad/2
%nad(X,Y) - speｳniony gdy klocek X leｿy nad Y niekoniecznie bezpo徨ednio
%-------------------------------------------

%koniec rekurencji
 nad(X,Y):-nad(X,Y).
%rekurencja wｳa彡iwa
 nad(X,Y):-na(X,Y),nad(Z,Y).