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

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

Определение отношения сестра
Рекурсивное определение правил
Пример отношения предок (а) X ближайший предок Z; (b) X отдаленный предок Z
Пары предокпотомок разделенных разным числом поколений
Программа о родственных отношениях
Упражнение
Первый шаг вычислений Верхняя цель истинна если истинна нижняя
Продолжение процесса вычислений показанного на Рисунок 1 9
Все шаги достижения цели предок( том пат) Правая ветвь демонстрирует что цель достижима
Упражнение

Декларативный и процедурный смысл программ
Резюме
Литература
Содержание раздела