.


:




:

































 

 

 

 





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






:


: 2015-10-01; !; : 907 |


:

:

, ; , .
==> ...

1002 - | 821 -


© 2015-2024 lektsii.org - -

: 0.046 .