Программирование на языке Пролог для искусственного интеллекта
Архитектура ориентированная на типовые конфигурацииОсновные понятия
Система управляемая типовыми конфигурациями ( образцами)
Прологовские программы как системы управляемые образцами
Основной цикл работы
Пример составления программы
Процесс вычисления
Простой интерпретатор программ управляемых образцами
Простой интерпретатор для программ управляемых образцами
Простая программа для автоматического докаэательства теорем
Доказательство теоремы
Программа управляемая образцами для автоматического доказательства теорем
Преобразование пропозициональных
Проект
Резюме
Литература
Содержание раздела
