В более сложном предложении правила syn утверждается, что мы можем найти список L, определяющий синтез ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Марселлус Д.N. Программирование экспертных систем на турбо прологе


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

(cкачать страницу)

Смотреть книгу на libgen

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