2. 1 (a) переменная
(b)    атом
(c)    атом
(d)    переменная
(e)    атом
(f)    структура
(g)    число
(h)    синтаксически неправильное выражение
(i)    структура
(j)    структура

2. 3 (a)    успех
(b)    неуспех
(c)    неуспех
(d)    D = 2,    Е = 2
(e)    Р1 = точка(-1, 0)
        Р2 = точка( 1, 0)
        Р3 = точка( 0, Y)

Такая конкретизация определяет семейство треугольников, у которых две вершины располагаются на оси х в точках 1 и -1, а третья - в произвольной точке оси у.

2. 4 отр( точка( 5, Y1),    точка( 5, Y2) )

2. 5 регулярный( прямоугольник( точка( X1, Y1),
                                    точка( Х2, Y1), точкa( X2, Y3),
                                    точка( X1, Y3) ) ).
Здесь предполагается, что первая точка соответствует нижней левой вершине прямоугольника.

2. 6 (a)    А = два
(b)    no
(c)    С = один
(d)    D = s(s(1));
        D = s(s(s(s(s(1)))))

2. 7 родственники( X, Y) :-
    предок( X, Y);
    предок( Y, X);
    предок( Z, X),
    предок( Z, Y);
    предок( X, Z),
    предок( Y, Z).

2. 8 преобразовать( 1, один).
преобразовать( 2, два).
преобразовать( 3, три).

2. 9 В случае, изображенном на Рисунок 2.10, пролог-система выполняет несколько больший объем работы.

2. 10 В соответствии с определением сопоставления, приведенном в разд. 2.2, данное сопоставление будет успешным. X приобретает вид циклической структуры, в которой сам X присутствует в качестве одного из аргументов.