Динамическая БД в прологе
Курсовая работа, 26 Декабря 2012, автор: пользователь скрыл имя
Краткое описание
Пролог (фр. Programmation en Logique) – язык и система логического программирования, основанная на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Основными понятиями в языке Пролог являются факты, правила логического вывода и запросы, позволяющие описывать базы знаний, процедуры логического вывода и принятия решений.
Содержание работы
Введение……………………………………………...…………….………...04
Постановка задачи… …..……………………………..………………….….05
Теоретическая часть……………………………….………..……………….06
Описание предикатов………………………………………………….…….07
Текст программы…………………………………………………………….08
Тестирование программы…………………………….………….………..…11
Руководство для пользователя……………………………….….………..…12
Заключение ……………………...…….…………………………………..…16
Литература……………………………………………………….………..….17
Приложение. Графическая часть проекта……………………………….…18
Содержимое работы - 1 файл
содержание1.doc
— 519.00 Кб (Скачать файл)
Рисунок 6.7 – вывод найденых студентов
Для выхода из программ нужно ввести «0» (см рис 6.8).
Рисунок 6.8 – выход из программы
ЗАКЛЮЧЕНИЕ
В результате выполнения курсового проекта было разработано программное обеспечение для работы с БД содержащей информацию о студентах .
Данное БД позволяет добавлять, удалять, сортировать записи.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
- Братко И. Б. Программирование на языке Пролог для искусственного интеллекта. — М.: Мир, 1990. – 560 с.: ил.
- Адаменко А. Н., Кучуков А. М. Логическое программирование и VisualProlog. — СПб.: БХВ-Петербург, 2003. – 992 с.: ил.
- Ковальков А.Т., Ковалькова И.А. Лабораторный практикум по дисциплине «Функциональное и логическое программирование» для студентов специальностей 1-40 01 01 “Программное обеспечение информационных технологий” и 1-40 01 02 «Информационные системы и технологии» : БНТУ Минск 2012.
ПРИЛОЖЕНИЕ А
Графическая часть проекта
Фамилия |
Подпись |
Дата |
Главное окно программы |
Лист |
Листов | ||
Студент |
Гаевский |
||||||
Руководитель |
Ковальков |
1 |
8 | ||||
Фамилия |
Подпись |
Дата |
Добавление терма |
Лист |
Листов | ||
Студент |
Гаевский |
||||||
Руководитель |
Ковальков |
2 |
10 | ||||
Фамилия |
Подпись |
Дата |
Сортировка по фамилии |
Лист |
Листов | ||
Студент |
Гаевский |
||||||
Руководитель |
Ковальков |
3 |
10 | ||||
Фамилия |
Подпись |
Дата |
Сортировка имён |
Лист |
Листов | ||
Студент |
Гаевский |
||||||
Руководитель |
Ковальков |
4 |
10 | ||||
Фамилия |
Подпись |
Дата |
Сортировка по году рождения |
Лист |
Листов | ||
Студент |
Гаевский |
||||||
Руководитель |
Ковальков |
5 |
10 | ||||
Фамилия |
Подпись |
Дата |
Вывод содержимого матрицы |
Лист |
Листов | ||
Студент |
Гаевский |
||||||
Руководитель |
Ковальков |
6 |
10 | ||||
Фамилия |
Подпись |
Дата |
Поиск записей по ключам |
Лист |
Листов | ||
Студент |
Гаевский |
||||||
Руководитель |
Ковальков |
7 |
10 | ||||
Фамилия |
Подпись |
Дата |
Выход из программы |
Лист |
Листов | ||
Студент |
Гаевский |
||||||
Руководитель |
Ковальков |
8 |
10 | ||||