( ) , 3-4 ().
:
- " " + "" + "" .
- .
, , , .
, , , . , , "".
, - , , .
& | |
/ / | , |
" " , , , , |
" " Backward Chaining. , , - .
, , , , , , (. " ").
S -
" ?"
, , , , .
? , , . , " ?" - , , .
:
1. , , , - " ". , , , .
|
|
2. , , - " ?" 1-2 . , , , . , . , , .
3. , , , .
S-
, . : "! , - !!". - , . ( " !"), .
- , . , " ?", , " ?" " ?", , , , .
, :
- 1. , - , - . , .
- 2. () - . , .
, :
- 1. - - , - ! (, , , ..)
- 2. 30 .
- . : " ..." , , . , , - (, , ), - . , , .
|
|
(, ) " ?". " ..." , . , , . , , .
" " " ". , . " ?" " ?"
, , .