, , , .
: consult reconsult.
consult , ( ) , . , ' , .
? consult(myfile).
reconsult consult, , , , . reconsult . , , , .
, consult reconsult , , . ( ) . , (consult), ' , , , (reconsult), ' '-' (). , ,
? [1,-2,'.1', -'.2'].
, :
? consult(1), reconsult(2), consult('.1), reconsult('.2').
37.
( ), , , . , , . true fail.
true
. , , true. .
fail
. , . !fail, 3 4. '
...,!, fail
, , , () . ' fail, , .
|
|
, fail, , , . , . ,
? (X,Y), phh(Y), fail.
, , 1 5, phh, .
38.
, , , . , . г . , , .
var(X)
ֳ var(X) , X . , :
? var(X).
true
? var(23).
false
? X=Y,Y=23, var(X).
false
- , . 0 , , .
nonvar(X)
ֳ nonvar(X) , X . nonvar , , var. ij, :
nonvar(X):- var(X),!, fail.
nonvar(_).
atom(X)
ֳ atom(X) , X .
? atom(23).
false
? atom(apples).
true
ֳ integer(X) , X . , , .
atomic(X)
ֳ atomic(X) , X , . atomic atom integer :
atomic(X): atom(X).
atomic(X): integer(X).