Язык Пролог для искусственного интеллекта
Ограничение перебораДвухступенчатая функция
В точке помеченной
Примеры использующие отсечение
Вычисление максимума
Процедура проверки принадлежности списку дающая единственное решение
Задача классификации объектов
Упражнения
Отрицание как неуспех
Упражнения
Еще одна программа для решения задачи о восьми ферзях
Трудности с отсечением и отрицанием
Резюме
Литература
Содержание раздела
