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



Выдержка из книги Хоггер К.N. Введение в логическое программирование


Новые процедуры РЗ - Р5 служат точно тем же целям, что и соответствующие им процедуры РЗ-Р5. Заметим, в частности, что в результате любого обращения к процедурам РЗ - Р5 образуются вызовы вида длина ( L, т) или э ( до, /, L), на которые можно прямо ответить с помощью имеющихся данных, представленных посредством фактов.

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

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

Новые процедуры РЗ - Р5 служат точно тем же целям,  что и соответствующие им процедуры РЗ-Р5.  Заметим,  в частности,  что в результате любого обращения к процедурам РЗ - Р5 образуются вызовы вида длина ( L,  т) или э ( до,  /,  L),  на которые можно прямо ответить с помощью имеющихся данных,  представленных посредством фактов.