. 2.9. .,
.
1. / "yes", , "" . , "yes" , "" .
2. ; .
1, 1.4, " Prolog", , execute. , , - .
, 2.1. , .
:
31, G2,..., Gm
execute .
() , |
, . , "SCANNING".
SCANNING. , , , G1. , .
:- 1,..., ..
Gm - |
, , G1, . ,
:- 1 '................
, - |
G1 S.
Gl, G2,..., Gm G1 1', :
1\ ___ , G2,..., Gm
2. Prolog
( , , = 0 , ; , , .)
, S, : 11 \..., Bn'', G2'... Gm'
(, ) . , . , SCANNING. , ( , ), .
|
|
2.1. , Prolog: execute
"> big{ bear). big(elephant). small[ cat).
brown(bear).
black[ cat). gray< elephant).
dark(Z>:-black(Z).
% 1 * 2 % 3
% 4 % S
% 6
1 -
I S - % |
dark(Z):-brown(Z).
? |
? - dark (X), big (X). 4
1) : dark (X), big<X).
2) , , , dark(X). 7:
dark(Z);- black [ Z).
7,
;.
black (X), big{ X)
3) , black(X).
5: black(cat). ,
big(cat)
4] , big(cat),
. (3)
= cat. black (X), big(X)
5. . (2) 7. S: dark(Z>:- brown (Z>.
brown(X) ,
I. Prolog
brown (X), bigl X).
5) ;- ( X},
brown(bear). , big(bear)
6) , big( bear).
, .
,
X = bear
2.2 , Pascal.
, execute. , , . 5, , , , execute.
execute SCANNING , . , Prolog . : Prolog ( ), . , , . , Prolog , , , , .
|
|
, . execute .
, Prolog execute . . Prolog ; , .