Язык Пролог для искусственного интеллекта
Объекты данныхОбьекты данных Пролога
Атомы и числа
Переменные
Имеетребенка( X) родитель( X _ )
Некто_имеет_ребенка родитель( _ _ )
Некто_имеет_ребенка родитель( X Y)
? Родитель( X _ )
Структуры
Дата пример структурного
Простые геометрические объекты
Представление объектов с Рисунок 2 3 в виде деревьев
Древовидная структура соответствующая арифметическому выражению (а + w)*(s 5)
Некоторые простые
Упражнения
Сопоставление
Помогает сформулировать это отношение Отрезок
Сопоставление треугольник((
Пример вертикальных и горизонтальных отрезков прямых
Упражнения
Упражнения
Входы и выходы процедуры вычисления списка целей
Пример иллюстрирующий
Вычисление целевых утверждений Пролога
Упражнение
Исходное состояние
Рекурсивная формулировка отношения можетзавладетъ
Программа для задачи об обезьяне и банане
Поиск банана обезьяной
Порядок предложений и целей
Опасность бесконечного цикла
Варианты программы полученые путем переупорядочивания предложений и целей
Четыре версии программы предок
Поведение трех вариантов
Сочетание декларативного и процедурного подходов
Замечания о взаимосвязи между Прологом и логикой
Упражнение
Резюме
Литература
Содержание раздела
