, , . a b. , . , d. , d. .
- (.4.1), Ù , A .
b c d
.4.1.
` , . ` , - `.
㳿 , , - - , - . - .
, (, ) , .
, - .
, , . ` , , , , ().
㳿 - , - . , , , , , .
cut. ( ) .
:
(x): - b(x),!, c(x)
a(x): - d(x)
B(c).
B(f)
C(e)
C(f)
D(g)
a(Z) Z=e, , cut ( a(Z) b(Z).
cut a(Z), Z=e, Z=f, Z=g.
, cut , , , 㳿 .
cut (!) . , , ( ) , , , .
|
|
4.3. NOT - .
" ." . : " , - ", :
like(wanja,X):-game(X).
Ae . :
- , " " , , - , " ".
, fail, , , :
like(wanja, X):- basketball(X),!,fail.
like(wanja, X):- game(X).
, - , fail .
, not, not(ֳ) , ֳ . :
not(P):- P,!, fail;
True.
not, .
:
like(wahja,X):- game(X),