, , , , , , . tell. X ' , , tell(X) , - ( write, put ) , . ֳ tell(X) . tell . tell . , tell ' X, , '. X ' ' , , , . , ', X, , ' . ( ). , , ' , ( ). , , , , . tell(X), X ' , . - .
telling , . ֳ telling(X) , X ' . , , , X , telling X (' ), .
, told ( ). , . ,
... tell(), write(X), told,...
told, . , :
...tell(X), write(A), tell(user), write(B), tell(X), write(C), told.
|
|
33.
, , , . ֳ see(X) '. tell, , . see(X) X ( ), . , . , . , , . seeing(X), seen, .
34.
, ' , , ', . . - , , , , consult. X ' , consult(X) ( ) . consult, . - , - . :
? 1, , .
, consultall(X), X , , consultall :
consultall([]).
consultall(H|T]):- consult(H), consultall(T).
, , , , , . consult , . 1 6 consult .
35.
. , : , . , (, , ; , ). , . , 1 255. , , . , .
|
|
:
xfx xfy yfx yfy
f , . .
:
fx fy
.
:
xf yf
yfx, . xfy .
, , , .
? (, , ').
, .
?op(255, xfx, ':-').
?op(255, fx, '?-').
?op(254, xfy, '; ').
?op(253, xfy, ',').
?op(250, fx, spy).
?op(250, fx, nospy).
?op(60, fx, not).
?op(51, xfy, '.').
?op(40, xfx, is).
?op(40, xfx,' =..')
?op(40, xfx, =).
?op(40, xfx,\=).
?op(40, xfx,<).
?op(40, xfx, =<).
?op(40, xfx,>=).
?op(40, xfx,>).
?op(40, xfx, = =).
?op(40, xfx,\ = =).
?op(31, yfx,-).
?op(31, yfx,+).
?op(21, yfx,/).
?op(21, yfx,*).
?op(ll, xfx, mod).