Программирование на языке Пролог для искусственного интеллекта
Пример программы родственные отношенияДерево родственных отношений
Отношение родительродителя выраженное через композицию двух отношений родитель
Упражнения
Расширение программыпримера с помощью правил
Графы отношений родительродителя мать и отпрыск определенных через другие отношения
Определение отношения сестра
Рекурсивное определение правил
Пример отношения предок (а) X ближайший предок Z; (b) X отдаленный предок Z
Пары предокпотомок разделенных разным числом поколений
Программа о родственных отношениях
Упражнение
Первый шаг вычислений Верхняя цель истинна если истинна нижняя
Продолжение процесса вычислений показанного на a>
Все шаги достижения цели предок( том пат) Правая ветвь демонстрирует что цель достижима
Упражнение
Декларативный и процедурный смысл программ
Резюме
Литература
