Проектирование динамических баз данных в системе Турбо-ПРОЛОГ

ДИПЛОМНАЯ РАБОТА

«Проектирование динамических баз данных в системе Турбо-ПРОЛОГ»

Нижний Новгород

2012 год

1. Оглавление  

Введение        3

Глава   I.   Введение   в   язык   логического   программирования   Пролог        6

1.1.   Особенности   языка   Пролог        20

1.2.   Семантика   Пролога        26

1.3.   Структура программы на Турбо Прологе        27

Глава   II.   Динамическая   база   данных.        35

2.1.   Понятие динамической базы данных        35

2.2. Добавление и удаление фактов        38

2.3   Заполнение динамической базы данных фактами из файла, сохранение динамической базы данных в файле.        40

Глава   III.   Динамическая   база   данных  «Телефонный   справочник»        41

3.1.  Назначение        41

3.2.  Интерфейс        41

3.3.  Реализация        43

Приложение        47

Литература        56

1. Введение

Интерес   к   Прологу   поднимался   и   затихал   несколько   раз,   энтузиазм   сменялся   жёстким   неприятием.   Наиболее   высоко   был   поднят   интерес   к   языку   Пролог,   как   к   языку   будущего,   во   время   разработок   японской   национальной   программы   компьютеры   пятого   поколения   в   1980-х   годах,   когда   разработчики   надеялись,   что   с   помощью   Пролога   можно   будет   сформулировать   новые   принципы,   которые   приведут   к   созданию   компьютеров   более   высокого   уровня   интеллекта.

Язык   Пролог   в   1980-х   годах   был   включен   в   ряд   советских   вузовских   и   школьных   учебников   информатики   для   изучения   элементов   математической   логики,   принципов   логического   программирования   и   проектирования   баз   знаний   и   моделей   экспертных   систем.   С   этой   целью   на   IBM   PC   и   ряде   советских   школьных   компьютеров   были   реализованы   учебные   русскоязычные   интерпретаторы   Пролога.

В   языке   Пролог   факты   описываются   в   форме   логических   предикатов   с   конкретными   значениями.   Правила   вывода   описываются   логическими   предикатами   с   определением   правил   логического   вывода   в   виде   списка   предикатов   над   базами   знаний   и   процедурами   обработки   информации.

В   настоящее   время   Пролог,   несмотря   на   неоднократные   пессимистические   прогнозы,   продолжает   развиваться   в   разных   странах   и   вбирает   в   себя   новые   технологии   и   концепции,   а   также   парадигмы   императивного   программирования.   В   частности,   одно   из   направлений   развития   языка   (в   том   числе   и   в   России)   реализует   концепцию   интеллектуальных   агентов.

В   данной   работе   подробно   рассмотрена   история   возникновения   языка   Пролог,   синтаксис   языка   Пролог,   приведены   фрагменты   Пролог-программ,   а   также   рассмотрены   принципы   создания   динамических   баз   данных   в   среде   Турбо-Пролог.   Практической   частью   работы   является   создание   динамической   базы   данных   в   среде   Турбо-Пролог   2.0.

Объектом   исследования   является   логическое  программирование в среде Турбо-Пролог.

Предметом   исследования   способы проектирования динамической базы данных в среде Турбо-Пролог.

Цель   работы   –   проектирование   динамической   базы   данных   «Телефонный   справочник».

Задачи   исследования:

• Изучить  возможности языка логического программирования Пролог
• Рассмотреть назначение, состав и возможности динамических баз данных
• Реализовать динамическую базу данных «Телефонный справочник» в системе Турбо-Пролог

Работа   состоит   из   трех   глав,   приложения   и   списка   литературы.

В   первой   главе   рассматривается   вводные   понятия   о   логическом   программировании   и   о   языке   Пролог.

Вторая   глава   посвящена   динамической   базе   данных   –   основным   понятиям,   приемам добавления и удаления фактов, приемам заполнения и сохранения динамической базы данных в файл.