. , parent. , :
female (pam). male! torn].
male(bob). female { ). female (pat). female (ann) -male(jim).
male female. ( ). parent . , , . : - . , , . :
sext pam, feminine). sex< torn, masculine). sex [ bob, masculine).
offspring (), parent. offspring , parent, offspring, , , : offspring; lie, torn).
I, Prolog
of f spring , , parent parent . :
X v. Y,
Y ,
Y.
Prolog. Prolog, , : offspring[Y, X):- parent: X ӻ.
: X Y,
X Y,
Y .
Prolog,
offspring: Y, X):- parent: X, fi.
. .
,
patent (torn, ).
,
. , ,
, .
, :
( );
( ).
, , , , , , . offspring; Y, X):- parent! x, Y}.
*---------------------- V----------------------- *----------------- V ----------------- J
parent [ X, Y] , offspring (, X).
|
|
Prolog . , :?- offspring! liz, torn).
, offspring. , X Y; , liz torn. liz ton-.,. Y liz, X - torn. ( X Y), : X <■ torn Y = liz
, : offspring! liz, torn):- parent! torn, liz).
parent; torn, liz)
Prolog , . : offspring: liz, tomi
1, Prolog
: patent f torn, liz)
, () , . , , Prolog yes.
. mother :