1. 1 (a) no
(b)    X = пат   
(c)    X = боб
(d)    X = боб,    Y = пат

1. 2 (a)    ?-  родитель( X, пат).
(b)    ?-  родитель( лиз, X).
(c)    ?-  родитель( Y, пат),     родитель( X, Y).

1. 3 (a)    счастлив( X) :-
                родитель( X, Y).

(b)    имеетдвухдетей( X) :-
                родитель( X, Y),
                сестра( Z, Y).

1. 4 внук( X, Z) :-
        родитель( Y, X),
        родитель( Z, Y).

1. 5 тетя( X, Y) :-
        родитель( Z, Y),
        сестра( X, Z).

1. 6 Да.    (Определение верно)

1. 7 (a)    возвратов не будет
(b)    возвратов не будет
(c)    возвратов не будет
(d)    возвраты будут