.
: ` . .
member:
member (X, [X|_]).
member (X,[_|Y]): member (X,Y)
, ` ( ) . , demopred :
demopred (X,Y): -..., member (A,B), test (A),...
member `, member test. , test . member ` , member . , member (X,[_,Y]):- member(X,Y) , member . `, member test. . , , , .
1. , .
. . , , , , :
reverse(X,Y):- reverse1([],X,Y). /*More efficient*/
reverse1(Y, [], X).
reverse1(X1, [U | X2], Y):- reverse1([U|X1],X2,Y).
' , append:
reverse([],[]).
reverse([U | X], Y):- reverse(X,Y1), append(Y1,[U],Y).
append([],Y,Y).
append([U|X],Y,[U|Z]):-append(X,Y,Z).
2. , ' .
ì + 1 = 4
í
î + Y = 5
"_ _":
solve(X,Y):- /* */
Num(X), plus(X, 1, 4),
Num(Y), plus(X, Y, 5).
:
solve(X,Y):- /* */
Num(X), num(Y),