Рекомендуем

Логическое программирование на языке Visual PrologЦуканова Н.И., Дмитриева Т.А. Логическое программирование на языке Visual Prolog
Онтологическая модель представления и организации знанийЦуканова Н.И. Онтологическая модель представления и организации знаний

Книга

Теория и практика логического программирования на языке Visual Prolog 7

Учебное пособие для вузов
2013 г.
232 стр.
Тираж 500 экз.
Формат 60х90/16 (145x215 мм)
Исполнение: в мягкой обложке
ISBN 978-5-9912-0194-0
ББК 32.973.26-018.1
УДК 004.434:004.8
Гриф УМО
Допущено УМО вузов по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальности 230105 – «Программное обеспечение вычислительной техники и автоматизированных систем»
Аннотация
Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог. Изложены основы логического программирования на примере языка Visual Prolog 7. Рассмотрены структура программы, алгоритм работы интерпретатора, ввод - вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования и управления выполнением программы, различные структуры данных и предикаты работы с ними. Книга содержит многочисленные примеры, а также контрольные вопросы и практические задания. Пособие будет полезно при изучении курса "Функциональное и логическое программирование". Для студентов высших учебных заведений, программистов, специалистов в области искусственного интеллекта и баз данных.

Оглавление

СОДЕРЖАНИЕ

ПРЕДИСЛОВИЕ

ГЛАВА 1. ВВЕДЕНИЕ В ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
1.1. ФОРМАЛЬНАЯ СИСТЕМА
1.2. ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ КАК ФОРМАЛЬНАЯ СИСТЕМА
1.3. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА КАК ФОРМАЛЬНАЯ СИСТЕМА
1.4. ЛОГИЧЕСКИЕ СЛЕДСТВИЯ
1.5. ПРЕОБРАЗОВАНИЕ ЛОГИЧЕСКИХ ФОРМУЛ К МНОЖЕСТВУ ПРЕДЛОЖЕНИЙ – ДИЗЪЮНКТОВ
1.6. ПРИНЦИП РЕЗОЛЮЦИИ
1.7. ТЕХНОЛОГИЯ РЕШЕНИЯ ЗАДАЧ С ИСПОЛЬЗОВАНИЕМ ЛОГИЧЕСКИХ МОДЕЛЕЙ
1.8. СТРАТЕГИИ УПРАВЛЕНИЯ
1.9. ХОРНОВСКИЕ ДИЗЪЮНКТЫ
КОНТРОЛЬНЫЕ ВОПРОСЫ
КОНТРОЛЬНЫЕ ЗАДАНИЯ

ГЛАВА 2. ОПИСАНИЕ ПРЕДМЕТНОЙ ОБЛАСТИ С ПОМОЩЬЮ ПРОГРАММЫ НА ПРОЛОГЕ
2.1. ФАКТЫ
2.2. ВОПРОСЫ ИЛИ ЦЕЛЕВЫЕ УТВЕРЖДЕНИЯ
2.3. ПЕРЕМЕННЫЕ
2.4. ПРАВИЛА
2.5. КОНЪЮНКЦИЯ ЦЕЛЕВЫХ УТВЕРЖДЕНИЙ
2.6. ПОПОЛНЕНИЕ БАЗЫ ЗНАНИЙ
2.7. СТРУКТУРА ПРОГРАММЫ НА ЯЗЫКЕ VISUAL PROLOG
2.8. РЕЛЯЦИОННЫЙ ЯЗЫК ПРОЛОГ
ЗАКЛЮЧЕНИЕ
ПРИМЕР ВЫПОЛНЕНИЯ КОНТРОЛЬНОГО ЗАДАНИЯ
КОНТРОЛЬНЫЕ ВОПРОСЫ
КОНТРОЛЬНЫЕ ЗАДАНИЯ

ГЛАВА 3. ОБЩАЯ СХЕМА ВЫПОЛНЕНИЯ ПРОГРАММЫ НА ЯЗЫКЕ ПРОЛОГ
3.1. ОБЩИЕ СВЕДЕНИЯ
3.2. МОДЕЛЬ В ВИДЕ И-ИЛИ ДЕРЕВА ПРОЦЕССА ДОКАЗАТЕЛЬСТВА ЦЕЛЕВОГО ЗАПРОСА
3.3. АЛГОРИТМ РАБОТЫ ИНТЕРПРЕТАТОРА
КОНТРОЛЬНЫЕ ВОПРОСЫ
КОНТРОЛЬНЫЕ ЗАДАНИЯ

ГЛАВА 4. АРИФМЕТИЧЕСКИЕ ВЫРАЖЕНИЯ. ПРЕДИКАТЫ ВВОДА И ВЫВОДА ТЕРМОВ
4.1. ТЕРМЫ
4.2. КОНСТАНТЫ
4.3. ПЕРЕМЕННЫЕ
4.4. АРИФМЕТИЧЕСКИЕ ВЫРАЖЕНИЯ
4.5. ПРЕДИКАТЫ СРАВНЕНИЯ ЗНАЧЕНИЙ АРИФМЕТИЧЕСКИХ ВЫРАЖЕНИЙ
4.6. ВВОД И ВЫВОД
КОНТРОЛЬНЫЕ ВОПРОСЫ

ГЛАВА 5. УПРАВЛЕНИЕ ВЫПОЛНЕНИЕМ ПРОГРАММЫ
5.1. ЦЕПОЧКА
5.2. ВЫБОР СРЕДИ АЛЬТЕРНАТИВ
5.3. ИСПОЛЬЗОВАНИЕ FAIL ДЛЯ ОРГАНИЗАЦИИ ПОВТОРЯЮЩЕГОСЯ ПРОЦЕССА (ЦИКЛА)
5.4. ПРЕОБРАЗОВАНИЕ БАЗЫ ЗНАНИЙ
5.5. НАКОПЛЕНИЕ СУММЫ
5.6. СОЗДАНИЕ БЕСКОНЕЧНЫХ АЛЬТЕРНАТИВ ПРИ ПОМОЩИ REPEAT
5.7. ВВОД И ВЫВОД ФАКТОВ ДИНАМИЧЕСКОЙ БАЗЫ ДАННЫХ
ПРИМЕР ВЫПОЛНЕНИЯ КОНТРОЛЬНОГО ЗАДАНИЯ
КОНТРОЛЬНЫЕ ВОПРОСЫ
КОНТРОЛЬНЫЕ ЗАДАНИЯ

ГЛАВА 6. РЕКУРСИЯ
6.1. ВВЕДЕНИЕ В РЕКУРСИЮ
6.2. КАК ПИСАТЬ РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ
6.3. НИСХОДЯЩАЯ РЕКУРСИЯ
6.4. ВОСХОДЯЩАЯ РЕКУРСИЯ
КОНТРОЛЬНЫЕ ВОПРОСЫ
КОНТРОЛЬНЫЕ ЗАДАНИЯ

ГЛАВА 7. ОТСЕЧЕНИЕ
7.1. ВВЕДЕНИЕ В ОТСЕЧЕНИЕ
7.2. ВОЗДЕЙСТВИЕ ОТСЕЧЕНИЯ НА ПРОЦЕСС ВЫПОЛНЕНИЯ
7.3. ИСПОЛЬЗОВАНИЕ ОТСЕЧЕНИЯ
7.4. ЛОВУШКИ ОТСЕЧЕНИЯ
КОНТРОЛЬНЫЕ ВОПРОСЫ
КОНТРОЛЬНЫЕ ЗАДАНИЯ

ГЛАВА 8. СПИСКИ
8.1. ВВЕДЕНИЕ В СПИСКИ
8.2. ОПИСАНИЕ СПИСКОВ В ЯЗЫКЕ VISUAL PROLOG
8.3. ГОЛОВА И ХВОСТ СПИСКА
8.4. УНИФИКАЦИЯ СПИСКОВ КАК АРГУМЕНТОВ ПРЕДИКАТОВ
8.5. ПРИНАДЛЕЖНОСТЬ ЭЛЕМЕНТОВ СПИСКУ
8.6. ВВОД, ВЫВОД СПИСКА КАК ТЕРМА
8.7. ИСПОЛЬЗОВАНИЕ ПРЕДИКАТА ПРИСОЕДИНИТЬ
8.8. ИСПОЛЬЗОВАНИЕ ПРЕДИКАТА ПРИСОЕДИНИТЬ ДЛЯ РАЗДЕЛЕНИЯ СПИСКА
8.9. ОПЕРАЦИИ СО СПИСКАМИ
8.10. СОСТАВНЫЕ СПИСКИ
ПРИМЕР ВЫПОЛНЕНИЯ КОНТРОЛЬНОГО ЗАДАНИЯ В КОНСОЛЬНОМ РЕЖИМЕ
ПРИМЕР ВЫПОЛНЕНИЯ КОНТРОЛЬНОГО ЗАДАНИЯ В РЕЖИМЕ ГРАФИЧЕСКОГО ИНТЕРФЕЙСА
КОНТРОЛЬНЫЕ ВОПРОСЫ
КОНТРОЛЬНЫЕ ЗАДАНИЯ

ГЛАВА 9. СТРОКИ, СИМВОЛЫ И СИМВОЛИЧЕСКИЕ ИМЕНА
9.1. СТРОКИ
9.2. ВСТРОЕННЫЕ ПРЕДИКАТЫ ОБРАБОТКИ СТРОК
9.3. СРАВНЕНИЕ СИМВОЛОВ, СТРОК И СИМВОЛИЧЕСКИХ ИМЕН
ПРИМЕР ВЫПОЛНЕНИЯ КОНТРОЛЬНОГО ЗАДАНИЯ
КОНТРОЛЬНЫЕ ВОПРОСЫ
КОНТРОЛЬНЫЕ ЗАДАНИЯ

ГЛАВА 10. СТРУКТУРЫ
10.1. ВВЕДЕНИЕ В СТРУКТУРЫ
10.2. ОПИСАНИЕ СМЕШАННЫХ ОБЛАСТЕЙ ДАННЫХ
10.3. ОПИСАНИЕ ОБЛАСТИ С МНОЖЕСТВЕННЫМ ТИПОМ ДАННЫХ
КОНТРОЛЬНЫЕ ВОПРОСЫ
КОНТРОЛЬНЫЕ ЗАДАНИЯ

ГЛАВА 11. СОЗДАНИЕ ПРИЛОЖЕНИЙ В СРЕДЕ VISUAL PROLOG 7.0-7.3
11.1. СОЗДАНИЕ КОНСОЛЬНЫХ ПРИЛОЖЕНИЙ
11.2. СОЗДАНИЕ ПРИЛОЖЕНИЙ С ИСПОЛЬЗОВАНИЕМ ГРАФИЧЕСКОГО ИНТЕРФЕЙСА. УПРАВЛЕНИЕ С ПОМОЩЬЮ МЕНЮ ГЛАВНОГО ОКНА ЗАДАЧ
11.2.1. Создание проекта
11.2.2. Создание модального диалога
11.2.3. Изменение меню
11.2.4. Изменение панели инструментов
11.2.5. Ввод основного кода в программу
11.2.6. Инкапсуляция интерактивного кода
11.3. СОЗДАНИЕ ПРИЛОЖЕНИЙ С ИСПОЛЬЗОВАНИЕМ ГРАФИЧЕСКОГО ИНТЕРФЕЙСА. УПРАВЛЕНИЕ С ПОМОЩЬЮ ЭЛЕМЕНТОВ ФОРМЫ. СОЗДАНИЕ НОВОГО КЛАССА.
11.4. ТЕХНОЛОГИЯ СОЗДАНИЯ ПРОГРАММЫ В РЕЖИМЕ РАБОТЫ С ГРАФИЧЕСКИМ ИНТЕРФЕЙСОМ
ЗАКЛЮЧЕНИЕ
КОНТРОЛЬНЫЕ ВОПРОСЫ
ЗАДАНИЕ

ПРИЛОЖЕНИЕ 1. ЧТО НОВОГО В VISUAL PROLOG 7.0

СПИСОК ЛИТЕРАТУРЫ