Упражнение

Предикат append определен в программе CH08EX07.PRO. Загрузите прог-

рамму:

/* Программа CH08EX07.PRO - Объединение*/

domains

integerlist = integer*

predicates

append(integerlist, integerlist, integerlist)

clauses

append([], List, List).

append([X|L1], List2, [X|L3]) :-

append(L1, List2, L3).

Запустите следующее целевое утверждение:

append([1, 2, 3], [5, 6], L).

А теперь попробуйте это:

append([1, 2], [3], L), append(L, L, LL).