Автор работы: Пользователь скрыл имя, 26 Декабря 2012 в 19:55, курсовая работа
Пролог (фр. Programmation en Logique) – язык и система логического программирования, основанная на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Основными понятиями в языке Пролог являются факты, правила логического вывода и запросы, позволяющие описывать базы знаний, процедуры логического вывода и принятия решений.
Введение……………………………………………...…………….………...04
Постановка задачи… …..……………………………..………………….….05
Теоретическая часть……………………………….………..……………….06
Описание предикатов………………………………………………….…….07
Текст программы…………………………………………………………….08
Тестирование программы…………………………….………….………..…11
Руководство для пользователя……………………………….….………..…12
Заключение ……………………...…….…………………………………..…16
Литература……………………………………………………….………..….17
Приложение. Графическая часть проекта……………………………….…18