-


- - . 2


1.3. -
- - , , . _ , .
(clauses): , , . . - , .,
likes(mary,apples). /* */

male(bob) /* - */
parent(bob,ann). /* - */
- , .,
child(ann,bob) :- parent(bob,ann). /* - ,
- */

father(X,Y) :-parent(X,Y),male(X )./* X Y
X Y,
X Y
X - */
- , .

child(ann,bob) /* ?*/

true /* */,

father(X,ann) /* ? */

X = Bob /* */.
. , . , .


- -  - -  - -