' ( ). - : --, --, --. , - :
();
();
();
䳿 , , --. -- , .
, , , .
³ ' , , ', .
³, , ' , .
³ ᒺ , . .
, . ' , (. 3.1, ). ³, , ( ), , . 3.3.
, . ,
_ (, ),
_ (, ),
_ ':
_ (, ),
_ (, ),
, , . ,
__ (1, 2) :- _ (1, 2) ,!.
__ (1, 2) :- _ (2, 1).
_, . ³ __᳔
colleague (Man1, Man2) :- work (Man1, X), work (Man2, X), Man1<>Man2.
, 3.2, , route (). route () . , , , .
|
|
3.2 , . -. . . , .
, , , , , , . , , . , .