Программирование на языке Пролог для искусственного интеллекта
Глава 16. Программирование в терминах типовых конфигураций
Архитектура, ориентированная на типовые конфигурации
Система, управляемая типовыми конфигурациями ( образцами).
Основной цикл работы системы, управляемой образцами.
Процесс вычисления наибольшего общего делителя
Простой интерпретатор программ, управляемых образцами
Программа, управляемая образцами, для получения наибольшего общего делителя множества чисел.
Простой интерпретатор для программ, управляемых образцами.
Простая программа для автоматического докаэательства теорем
Доказательство теоремы (а=>b)&(b=>с)=>(a=>с)...
Программа, управляемая образцами, для автоматического доказательства теорем.
Преобразование пропозициональных формул в множество дизъюнктов с записью их в базу данных при помощи assert.
Заключительные замечания
Проект
Резюме
Литература
Содержание раздела
