.


:




:

































 

 

 

 





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 , ( ).





:


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


:

:

, .
==> ...

827 - | 692 -


© 2015-2024 lektsii.org - -

: 0.014 .