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