(,_,[|__]):-
(,_),
(_,_,__)
, , .
- , , ( ), .
, , .
, , . 8.7.
. 8.7.
:
1) ;
2) , ;
3) , .
, , , .
.
C .
C , :
1) A ,
2) A C,
3) C A.
:
- .
- , .
, . (. 8.8).
, . ( ) , .
.
. 8.8. ( )
, .
. , , , .
, , .
- , . , , .
, : .
, , , , .