parent! torn, Y) predecessor^ Y, pat)
no
. 1.8. . 1.9. . ; , - . 1.8 , , .
Prolog , . , . Y bob. , ,
(bob, pat)
prl. , () . Prolog . , prl :
predecessor! X1, Z'):-
parent; X', Z'),
predecessor [ bob, pat], :
- = bob, z ■ = pat
: parent (boh, pat)
, . , . 1.10.
(. . 1.10) . , . () , . , ( ) -, "yes". "yes", . Prolog , . Prolog , . , , Prolog .
1. Prolog
predecessor! torn, pat)
no
2
parent! torn, pat)
parent) torn, Y) predecessor! Y, pat)
Y = bob