ВКР: Интерпретатор языка Пролог

Содержание

• Введение
• 1 Исследовательская часть
• 1.1 Роль реляционных языков в развитии вычислительной
• техники
• 1.2 Основные механизмы дедукции
• 1.3 Исчисление предикатов как язык для решения задач
• 1.3.1 Унификация и принцип резольвенции в исчислении
• предикатов
• 1.3.2 Методы поиска доказательства в исчислении предикатов
• 1.3.2.1 Исчисление предикатов при решении задач
• 1.3.2.2 Стратегии перебора
• 1.3.2.3 Стратегии упрощения
• 1.3.2.4 Стратегии очищения
• 1.3.2.5 Формы доказательства с отфильтровыванием
• предшествующих вершин
• 1.3.2.6 Стратегии поддерживающего множества
• 1.3.2.7 Стратегии упорядочения
• 1.4 Анализ характеристик существующих интерпретаторов
• 1.5 Необходимость разработки интерпретатора языка Пролог
• 1.6 Выбор языка программирования
• 2 Конструкторская часть
• 2.1 Синтаксис программ на Прологе в нотации Бэкуса-Наура
• 2.2 Общая структура интерпретатора
• 2.2.1 Принцип работы предкомпилятора
• 2.2.1.1 Работа лексического анализатора
• 2.2.1.2 Синтаксический анализатор
• 2.2.1.3 Анализ арифметического выражения
• 2.2.1.4 Анализ параметров предикатов
• 2.2.1.5 Проверка типов параметров
• 2.3 Работа интерпретатора
• 2.3.1 Выполнение обращений к базам данных
• 2.3.2 Вычисление арифметических выражений
• 2.4 Объекты, используемые компилятором и интерпретатором
• 2.4.1 Объекты переменных TPrologVariable, TPrologVariables,
• TPrologVariableList, TPrologVariableStruct
• 2.5.2 Стандартные функции и предикаты
• 2.6 Представление Пролог-программы в виде объектов
• 2.7 Основные модули
• 2.8 Демонстрационная программа по выбору конфигурации компьютера
• 3 Технологическая часть
• 3.1 Требования по эксплуатации интерпретатора языка Пролог
• 3.2 Установка системы
• 3.3 Руководство пользователя программы интерпретатора языка
• Пролог
• 3.3.1 Запуск программы
• 3.3.2 Перечень функций, реализуемых системой
• 3.3.3 Редактирование Пролог-программы
• 3.3.5 Работа с меню
• 3.4 Описание процесса выполнения программы, написанной на
• языке Пролог
• 3.6 Особенности работы Пролог-программы с базами данных
• 3.7 Описание стандартных предикатов
• 3.8 Описание функций
• 4 Организационно-экономическая часть
• 4.1 Расчет затрат на разработку интерпретатора Пролог
• 5.1 Введение
• 5.2 анализ характера загрязнения окружающей среды при производстве вычислительной техники
• 5.2.1 Источники загрязнения
• 5.2.2 Очистка воздуха от вредных примесей
• 5.3 Анализ влияния опасных и вредных факторов, при
• эксплуатации программы интерпретатора Пролог
• 5.3.1 Повышенный уровень шума на рабочем месте
• 5.3.2 Опасный уровень напряжения электрической цепи, замыкание которой может произойти через человека
• 5.3.3 Пожарная опасность
• 5.3.4 Повышенный уровень электромагнитных излучений
• 5.3.5 Повышенная яркость света
• 5.3.6 Прямая и отраженная блеклость
• 5.3.7 Нарушение микроклимата рабочих помещений
• 5.3.8 Защита от психофизиологических факторов
• 5.4 Анализ использования защитных экранов для снижения
• влияния опасных и вредных факторов, во время работы на
• автоматизированном рабочем месте
• 5.4.1 Основные функции защитных экранов, необходимые для
• снижения влияния вредных и опасных факторов, во время работы
• с программным средством
• 5.4.1.1 Защита от электростатического и электромагнитного
• воздействий
• 5.4.1.2 Защита от рентгеновского излучения
• 5.4.1.3 Защита от ультрафиолетового излучения
• 5.4.2.1 Сетчатый (частичная защита зрения)
• 5.4.2.2 Стеклянный двухслойный с заземлением (частичная защита
• зрения, частичная защита здоровья)
• 5.4.2.3 Стеклянный многослойный с заземлением (полная защита
• зрения, полная защита здоровья)
• 5.5 Расчет необходимого звукопоглощения, при работе с АРМ
• Заключение
• Литература
• Приложения
• Приложение 1
• Приложение 2
• Приложение 3
• Приложение 4.