, . ,
7. 159
Prolog. '
:
= i
, X Y . : X is E
, X . , : 1 =:= 2
, 1 2. , , : El - \= E2
: , . , "==": 1 2
, 1 2 ; , - J . , . , :
Tl\== T2
.
?- f (a, b) == t < a, b).
yes
?- f(a, b) == f(a, X).
?- f (a, X) f { a, Y).
?- X \== Y.
yes
?- t< X, f[a,YM == t(X, f{a,Yl).
yes
count; Terra, List, N)
7.1. , N Term List:
count L, 11, 0).
count i Term, [Head L ], K):-
Term Head,!,
count (Term, L, N1),
N is Bit 1
count (Terra, L, .
, , X - 2 < 5. . ,
@<
I. Prolog
: X Y. . . , , X Y. .
?- paul @< peter. yes
?- f(2)<Kf;.
yes
1- g{2)!<f(3>.
no
7- g(2) @>= f(3).
yes
? - f! A, g(b), c) @< f t a, h(a),a).
yes
@<, @=<, @>, (>=, .