arg . ³ . arg , . , . arg. , arg(N,T,A) , N - . arg.
? arg(2,(, ()),X).
X = ().
?- arg(1,a+(b+c),X).
X = .
? arg(2, [a, b, c], X).
X =[b, c].
? arg(1,a+(b+c),b).
false
functor arg , . ' , , .
41.ij
, , . ! , repeat , .
³
('!') , - , .
repeat
repeat . , :
repeat.
repeat:-repeat.
, repeat ?
-, , repeat. -, , ( ). repeat. ֳ repeat .
get0. get0(X), 쳺 , , X. , , . new_get :
new_get(X): repeat, get0(X).
new_get : ( ) . ? new_get(X), repeat get0(X) , X . , ', , , repeat. , , repeat . get0(X). , X .
|
|
42.
X:-Y ? Y , ' Y, ' '. , , , not. , , .
43.'
',' () ' . X , X, , X . X Y , X. X , ' . . , X, Y, Z (X, Y), Z.
44.'
';' ' ( ) . X Y , X;Y , X Y. X , Y. Y , ' . ';' , . , , ' , ' ' . :
(): (=; =; (,Y)).