predecessor (). parent. . () , . , X Z, X Z, . 1.5. , . 1.1, .
parent |
.-,)
predecessor
parent
parent
I predecessor
parent
6)
. 1.5. predecessor: a) X Z; ) Z
: s,
X - ,
X - .
Prolog :
predecessor! X, Z):-
parent (, Z).
, , , . , 1.6. , predecessor :
predecessor [ X, Z):- parent 1 X, Z).
predecessor; , Z):-parent (X, Y), parent Y, 2).
predecessor; X, Z):- parent (x, YD, parentt Ylf 42), parent! 2, 1).
predecessor (X, Z):-parentt X, Yl),
1, Prolog
parent [ Yl, Y2), parent [ Y2, Y3), parent Y3, Z).
parent |
predecessor
parent
parent
predecessor
Y2J ' predecessor
parent
, 1.6. ,
, , . , .
predecessor . , . , predecessor . . 1.7 :
Z, X - , Y,
1) X Y
2) Y - Z.
Prolog1, , .
predecessor! X, Z):-parent! X, Y), predecessor! Y, Z).
, predecessor, : , . , , .
|
|
predecessor(X, Z) parent (X, Z).
predecessor (x, Z) parent (x, ¥), predecessor! Y, Z).
, predecessor .
I, Prolog
, , , , . . ; , , . 1.7. , Prolog . , . Prolog. Prolog - .
parent
predecessor
predecessor
. 1.7. predecessor
, Prolog , . , ?
?- predecessor^ pam, X). X = bob; X = arm; X = pat; X = j im
Prolog, , predecessor parent. : Prolog ?
, Prolog, . , . 1.1. , : -, , -, , .
1.1. f a m i l y
parent! , bob)
parent [ torn, bob)
parent! torn, liz)
arm) pat) |
parent(bob
parent^ bob,
%
1. Prolog
parent(pat, jim).
male! bob). female[ liz), female [ arm). female (pat). male) jim).
offspring Y, X):-parent I X, Y),
motherf X Y):-parent! X, Y),
female (X).
grandparent! , 2):-parent) X, Y), parent (Y Z).
sister:X, Y:-
parent(1, X), parent! Z, 4), fmal.< X), efferent! X, Y).
predecessor! X Z>:- parent(X, Z).
predecessor! Xr z>:-
predecessor! Y, Z)
% - % -
% Y X, % X Y
% X ,
% X Y
% X -
% X Z, i X Y Z
; X Y,
% X Y
5 X - -,-.
% X Y
. |
Z
; |
X |
Z
, 1.1, : parent, male, female, predecessor .. , predecessor . , predecessor. , . .
|
|
1.1 , predecessor, , prl 2, . . Prolog. , . Prolog "/*■" ""*/". , Prolog : / - */
, , "I". , " , . \ -
1.6. predecessor:
predecessor! X, Z):-
parent! X, Z).
I. Prolog
predecessor [ X, 2):-parent! Y, Z), predecessor (X, ).
predecessor ? , . 1.7, .
Prolog
Prolog. Prolog . , Prolog . " "? , , , . , : , , . , Prolog ( ), . , . Prolog - , , "".
, Prolog : Prolog , , ; Prolog , .. , .
Prolog . , .
. - .
: .
, , : X, X - , .
Prolog, . fallible! X}:- man; X}. %
man! socrates). % -
?- fallible! sccrates), % ?
yes %
, (. 1.1), .?- predecessor; torn, pat).
, parent! bob, pat). prl, , predecessor [ bob, pat). , , , . , , :
|
|
1. Prolog
parent [ bob, pat) ==> predecessor! bob, pat)
: parent [ bob, pat) predecessor { bob, pat], prl. , , parent (torn, bob). predecessor; bob, pat), , predecessor; torn, pat], ri2. , predecessor (torn, par } . : parent r bob, pat) - predecessor; bob, pat) parent; torn, bob) predecessor | bob, pat) ==> predecessor) torn, pat)
, , , , .. , . . , Prolog .
Prolog , , . , , , , , . :?- predecessor; torn, pat).
Prolog . , . , prl 2. , predecessor. , .
, prl 2, Prolog. , : predecessor! X, Z):- parent (X, Z).
predecessor; torn, pat), : X = torn, Z pat
predecessor; torn, pat) ; parent (torn, pat)
, , . 1.8. , parent; torn, pat), . Prolog , predecessor (torn, pat), 2 :
predecessor! X, Z):-parent! X, Y),
predecessor; Y, Z).
, X Z : X = ton, Z = pat
Y . predecessor; torn, pat) :
parent (torn, Y), predecessor t Y, pat)
40 I. Prolog
. 1.9, , . 1.8.
predecessor^ torn, pat)
predecessor! torn, pat)
ZS
no pr1