Аннотация

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

Настоящая пояснительная записка включает в себя описание механизма вывода в языке Пролог и роли логического программирования в развитии вычислительной техники.

Приводится описание разработанного интерпретатора, а также необходимые для работы с ним документа: требования по эксплуатации, руководство по установке, руководство пользователя, тексты программ.

Приводится расчет затрат на разработку программного продукта.

Приводится анализ опасных и вредных факторов, возникающих при эксплуатации программы интерпретатора.

Содержание

Введение.......................................................................................................... 4

1. Исследовательская часть............................................................................. 8

1.1. Роль реляционных языков в развитии вычислительной техники.......... 8

1.2. Основные механизмы дедукции............................................................ 10

1.3. Исчисление предикатов как язык для решения задач.......................... 12

1.3.1 Унификация и принцип резольвенции в исчислении предикатов...... 13

1.3.2. Методы поиска доказательства в исчислении предикатов................ 15

1.3.2.1. Исчисление предикатов при решении задач................................... 15

1.3.2.2. Стратегии перебора......................................................................... 16

1.3.2.3. Стратегии упрощения...................................................................... 17

1.3.2.4. Стратегии очищения........................................................................ 18

1.3.2.5. Формы доказательства с отфильтровыванием предшествующих вершин. 4

1.3.2.6. Стратегии поддерживающего множества......................................... 4

1.3.2.7. Стратегии упорядочения................................................................... 5

1.4. Анализ характеристик существующих интерпретаторов...................... 6

1.5. Необходимость разработки интерпретатора языка Пролог................. 8

1.6. Выбор языка программирования........................................................... 8

2. Конструкторская часть............................................................................. 10

2.1. Синтаксис программ на Прологе в нотации Бэкуса-Наура................. 10

2.2. Общая структура интерпретатора........................................................ 10

2.2.1. Принцип работы предкомпилятора................................................... 11

2.2.1.1. Работа лексического анализатора................................................... 11

2.2.1.2. Синтаксический анализатор............................................................ 12

2.2.1.3. Анализ арифметического выражения............................................. 13

2.2.1.4. Анализ параметров предикатов...................................................... 15

2.2.1.5. Проверка типов параметров............................................................ 15

2.3. Работа интерпретатора.......................................................................... 16

2.3.1. Выполнение обращений к базам данных........................................... 18

2.3.2. Вычисление арифметических выражений.......................................... 19

2.4. Объекты, используемые компилятором и интерпретатором............... 19

2.4.1. Объекты переменных TPrologVariable, TPrologVariables, TPrologVariableList, TPrologVariableStruct.................................................................................... 19

2.5.2. Стандартные функции и предикаты................................................... 21

2.6. Представление Пролог-программы в виде объектов........................... 21

2.7. Основные модули................................................................................... ............