.


:




:

































 

 

 

 


-




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. , :

) ,

) , ,

) - .





:


: 2017-01-28; !; : 307 |


:

:

.
==> ...

770 - | 718 -


© 2015-2024 lektsii.org - -

: 0.016 .