Выдержка из книги
Марселлус Д.N.
Программирование экспертных систем на турбо прологе
В более сложном предложении правила syn утверждается, что мы можем найти список L, определяющий синтез соединения Y, если решим более простые задачи. Во-вторых, необходимо синтезировать L1 и L2 для каждого из этих соединений. Затем с помощью append мы объединим L1 и L2 в список Q и, наконец, для получения ответа поместим только что найденную реакцию высшего уровня в начало нашего списка. Заметьте, что все реакции используются как сложный объект, представляющий собой один элемент конструируемого списка. Конечно, предикат append должен быть определен так, чтобы принимать объекты этого типа.