.
: " ". ', "" "", , "". :
(, ).
:
' .
' . ', ' .
.
', , ' . , , , .
', , .
' , , .
' . , (, ) a(b,c), ' , , b , - .
. (, , ).
. ' ( ) .
.
, . , , , . , . :
?- (, ).
, . , . ( ), ( ) . , , . , . ³, , .
false .
().
().
?- ().
True
?- ().
False
3. .
- -, . " X?". , , ' X. , ' X. ', , X, ', -. . . , ', . , , . , ', - ', , .
|
|
', , .
, ', .
:
(,).
(,).
(,).
?- (, ).
: -, ? -:
=
; , ( = ) ( ; ). , ; ', X. , "" , X , X. , - , . , , (, ). X , , (, ). = . , . , . .
4. '.
, , : " ? ". , , , , . , " " ( ), . , . , :
(, ).
(, ).
(, ).
(, ).
, . : " ?". ' , ' . , :
?- (,), (,).
, , . ( ), , .
|
|