Глава 5. Унификация и поиск с возвратом. 84

Сопоставление и унификация 84

Поиск с возвратом. 87

Поиск всех решений 89

Упражнение на поиск с возвратом. 91

Детальный обзор поиска с возвратом. 91

Четыре основных принципа поиска с возвратом. 92

Поиск с возвратом для внутреннего целевого утверждения 95

Управление поиском решений. 98

Использование предиката fail. 98

Упражнения. 100

Прерывание поиска с возвратом: отсечение. 100

Как использовать отсечение. 100

Предотвращение поиска с возвратом к предыдущей подцели в правиле. 101

Предотвращение поиска с возвратом к следующему предложению. 102

Детерминизм и отсечение. 103

Пример, использующий отсечение 104

Предикат not. 105

Пример 106

Упражнения. 107

Пролог с процедурной точки зрения. 109

Как представлять факты и правила в качестве процедур 110

Использование правил для условного ветвления (case). 110

Представление проверки в правиле. 111

Отсечение как goto. 112

Возврат вычисленного значения. 113

Обзор. 114