Категория
Информатика
Тип
дипломная работа
Страницы
27 стр.
Дата
15.12.2009
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
119561.zip — 205.04 kb
  • interpretator-jazyka-prolog_119561_1.rtf — 1967.46 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо


Текст работы

Текст программы;
Интерпретатор языка Пролог состоит из следующих частей:
Алексеев Владислав Игоревич A
6
Аннотация
В рамках данного дипломного проекта разработан интерпретатор языка Пролог с визуальным вводом программы и возможностью работы с униве р
сальными базами данных.
Настоящая пояснительная записка включает в себя описание механи
з ма вывода в языке Пролог и роли логического программирования в разв и тии вычислительной техники.
Приводится описание разработанного интерпретатора, а также необх
о димые для работы с ним документа: требования по эксплуатации, руков о дство по установке, руководство пользователя, тексты программ.
Приводится расчет затрат на разработку программного продукта.
Приводится анализ опасных и вредных факторов, возникающих при эксплуатации программы интерпретатора.
Содержание
Введение. 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. Необходимость разработки интерпретатора



Ваше мнение



CAPTCHA