Cтраница 4
В настоящем разделе будут введены процедуры для некоторых полезных предикатов обработки списков. Вызванный в виде цели, он успешно согласуется, если объект содержится в списке. Процедура последовательно проверяет элементы списка. Если головой списка является тот же элемент, что и данный объект, цель согласуется немедленно. [46]
Чтобы понять, как задавать на Прологе определения, описывающие обработку списков, нужно научиться определять эти операции на языке исчисления предикатов и посмотреть, как можно приспособить метод резолюции для построения списков и ответов на вопросы. Это очень похоже на поиск от цели, используемый в Прологе. [47]
Процесс связывания или сцепления частей сложной базы данных часто называется обработкой списков. Использование такой организации данных более детально будет рассматриваться при обсуждении построения компиляторов. [48]