. ' , . member (X, L) , X L, : member! X, [X | L]).
member ( [Y | L]):-meraber(X, L}.
, X L, , X . .
, . , .
: | , | - | ||||||
; | ||||||||
; | ||||||||
. |
, . . 9.2. {, , , dh . . 9.2 ; , , .
Prolog. , , . , . 9.2, :
{ , c(d))
■ I J:'.■'-. i )
. 9.2.
9.
; , . , .
; ( ). :
nil ;
t, , , X,
L R, t (L, X,?,
. 9.3.
, . 9.2, : tt t(nil, , nil), a, t(t(nil, d, nil), c, nil))
|
|
t(L.X,R) |
. 9.3,
, in. in(, >
, X - . in . X , :
X ,
X ,
X .
Prolog : in(X,tt_<X,_!). n(X, t (L,,!):-
in(X, L). in(X, t(_,_,R)):-
in (X, R).
, in i X, nil) X
in, , . 9.2. in! , ) :
X = ; X = fc;X = ; X = d
, in.
198 I. Prolog
in (, )
in. , in! d, T)
in, d. , In! e, TJ
in .
, . . . t (Left, X, Right) , .
1. , Left, X.
2. , Right, X.
3. .
. . 9.4.
. 9.4. ; 6 5^8->
, . X , X , , . , , . 9.4. 5, 6 5 , 6 > 5. 5, 6 . , S ..
.
X D, :
X D, X , ,
|
|
X , D, X D,
9.
X D;
D , .
in, 9.3. gt{ X, Y] : X Y. , , , X > Y.