Дипломная работа: Интерпретатор языка Пролог

Аннотация

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

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

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

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

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

Содержание

Введение.......................................................................................................... 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

--> ЧИТАТЬ ПОЛНОСТЬЮ <--