Prolog , . , . . 1.1 : . , , Prolog : parent { torn, bob).
parent; torn bob . , , , tor., . , . 1.1, Prolog:
parent (pamr bob). parent f tom, bob). parent! torn, liz|I. parent! bob, ann). parent; bob, pat). parent! pat, jim).
, parent. , parent (tom, bob) parent. . .
. 1.1.
Prolog parent, , ? Prolog, :?- parent! bob, pat).
, , , Prolog : yes
: 7- parent(liz, pat).
Prolog : no
, . "" ?- parent (torn, ben). .
, . , ? 1- parent! X, liz).
Prolog "yes" "", X, . : X= t
, , Prolog :?- parent! bob, X).
. Prolog :
1. Prolog
X aim
{ ), Prolog :
X - pat
, Prolog "", .
, ? : X if, , X X,
Prolog :?- parent (, Y).
Prolog . , Prolog ( ) . :
|
|
X
Y - bob; X torn Y- bob; X = torn
Y = lia;
, <Enter> .
, , , , , ( ). grandparent, (. 1.2).
1. ? , - Y.
2. .' , - X
Parent
/\7\ grandparent
parent /
/
Pitc. 1.2. grandparent, parent
Prolog :?- parent (Y, jim), parent (X, Y).
: - bob Y = pat
I. Prolog
: X Y, : parent (Y, jim} parent (X, )
, : parent! Xr ) parent(Y, jim)
, Prolog, :
?- parent! X, Y), parent , jim).
.
, , :
?- parent! torn, X), parent; X, Y).
Prolog :
= bob Y - ann; X =bob = pat
, , . .
1. (X)?
2. ( ) X ?
Prolog :?- parent!" X, ann), parent! , pat).
; X = bob
.
Prolog , parent, - , .
Prolog , .
Prolog .
.
( ) , ( torn ann), ( X Y). , , . ,
. ,
parent! X ann}, parent! X, pat)
:
X
X .
"" (goal) , Prolog , .
|
|
,
, . -
1. Prolog
, . .
, Prolog , ( ).