V--------------
paren1(torn, pat)
pred3(torn, Y'J parent) Y, pat)
I
parent! torn, Y~) parent! V, pat)
= bob
parent! bob, pat)
Yes
pred4{X,Z):-
pred4(X, Y). parent! V, Z). prod4(X, Z):■ parent! X, Z).
Pred4(torn, pat)
Gt;
prad4(tom, Y') parent! Y', pat)
pred4(torn, Y') parent! Y", Y") parent! Y', pat)
pred4(torci, Y""J parent! V, Y) parent! Y". ) parent(Y\ pat)
. 2.13, predecessor ,
: . predecessor .
2. Prolog
1. , , parent: predecessor.
2. , -, (, , , parent, , predecessor).
predecessor predl . , pred<3 , pred2 . predl , . .
predecessor , . , predl, prcd2 ; pred4 , pced3 , . , pred3 .?- Pred3(lie, jim),
. pred3 .