4 . [8]. , [4] - [9, 10] (SLD-resolution ).
, , .
, , . - ( ) , ( -, : - :
) ( )
) (.. - ),
)
.
(-) , . . □, ,
13. 1 () . --
□;
(. 1),
- ( ) :
. 2.
, ( , ).
- , -,
-.
3. - .
14. -, 13. - 3 .
- .
4. - ,
15. , , , . - , .. - , ( ). 4, , -
|
|
3 4 .
2. , .
3. - , ,
16. 1, 3 ( □, . 13). 3 , Ø, (Ø)
, , , -
-
:
18. , 15, ( 1).
19. , . , -
20. , :
) ,
) , ,
) - .