%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).
OsamaBinLaden