Автор работы: Пользователь скрыл имя, 27 Мая 2013 в 20:05, курсовая работа
Логическое программирование – технология программирования, возникшая на основе логического доказательства теорем. Типичным представителем концепции логического программирования является язык Пролог. Первоначально разработки в области логического программирования велись для использования в компьютерах пятого поколения. В настоящее время Пролог применяется главным образом в приложениях типа экспертных систем и интеллектуальных баз данных. Механизм языка основан на получении логического вывода из программы, а сама программа представляет собой не алгоритм, а описание задачи в терминах Пролога.
ВВЕДЕНИЕ 5
1 ПОСТАНОВКА ЗАДАЧИ 6
2 ОПИСАНИЕ ПРЕДИКАТОВ ПОЛЬЗОВАТЕЛЯ 8
3 ТЕКСТ ПРОГРАММЫ 9
4 СОДЕРЖИМОЕ ВНЕШНИХ ФАЙЛОВ И БАЗ ДАННЫХ, ИСПОЛЬЗУЕМЫХ ПРИ РАБОТЕ ПРОГРАММЫ 10
5 КОНТРОЛЬНЫЙ ПРИМЕР: ПЕРЕЧЕНЬ ШАГОВ ПРИ ПРОХОЖДЕНИИ СХЕМЫ И СООТВЕТСТВУЮЩИЙ ИМ ДИАГНОЗ 11
ЗАКЛЮЧЕНИЕ 13
БИБЛИОГРАФИЧЕСКИЙ СПИСОК 14