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

Объекты данных
Обьекты данных Пролога

Атомы и числа
Переменные
Имеетребенка( X) родитель( X _ )
Некто_имеет_ребенка родитель( _ _ )
Некто_имеет_ребенка родитель( X Y)
? Родитель( X _ )
Структуры
Дата пример структурного


Простые геометрические объекты
Представление объектов с Рисунок 2 3 в виде деревьев

Древовидная структура соответствующая арифметическому выражению (а + w)*(s 5)
Некоторые простые
Упражнения
Сопоставление
Помогает сформулировать это отношение Отрезок
Сопоставление треугольник((
Пример вертикальных и горизонтальных отрезков прямых
Входы и выходы процедуры вычисления списка целей

Пример иллюстрирующий
Вычисление целевых утверждений Пролога
Исходное состояние
Рекурсивная формулировка отношения можетзавладетъ
Программа для задачи об обезьяне и банане
Поиск банана обезьяной
Порядок предложений и целей
Опасность бесконечного цикла
Варианты программы полученые путем переупорядочивания предложений и целей

Четыре версии программы предок
Поведение трех вариантов
Сочетание декларативного и процедурного подходов
Замечания о взаимосвязи между Прологом и логикой
Литература
Содержание раздела

---