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