Рекомендуем

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

Книга

Логическое программирование на языке Visual Prolog

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

Изложены основы логического программирования на примере языка Visual Prolog. Рассмотрены описание предметной области и структура программы, алгоритм работы интерпретатора, ввод – вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования и управления выполнением программы, различные структуры данных и предикаты работы с ними. Книга содержит многочисленные примеры, иллюстрирующие теоретические положения их решения, а также контрольные вопросы и практические задания. Многие примеры ориентированы на создание реляционной базы данных и написание различных запросов к ней. Пособие может быть полезно при изучении курса «Функциональное и логическое программирование».

Для студентов высших учебных заведений, программистов, специалистов в области искусственного интеллекта и баз данных.

Оглавление

Цуканова Н.И., Дмитриева Т.А.
Логическое программирование на языке Visual Prolog. Учебное пособие для вузов. – 2-е изд., стереотип. – М.: Горячая линия –Телеком, 2014. – 144 с.: ил.
ISBN 978-5-9912-0415-6.

ОГЛАВЛЕНИЕ

ПРЕДИСЛОВИЕ

ГЛАВА 1. ОПИСАНИЕ ПРЕДМЕТНОЙ ОБЛАСТИ С ПОМОЩЬЮ ПРОГРАММЫ НА ПРОЛОГЕ
1.1. Факты
1.2. Вопросы или целевые утверждения
1.3. Переменные
1.4. Правила
1.5. Конъюнкция целевых утверждений
1.6. Пополнение базы знаний
1.7. Структура программы на языке Visual Prolog
1.8. Реляционный язык Пролог
Заключение
Пример выполнения контрольного задания
Контрольные вопросы
Контрольные задания

ГЛАВА 2. ОБЩАЯ СХЕМА ВЫПОЛНЕНИЯ ПРОГРАММЫ НА ЯЗЫКЕ ПРОЛОГ
2.1. Общие сведения
2.2. Модель в виде И-ИЛИ-дерева процесса доказательства целевого запроса
2.3. Алгоритм работы интерпретатора
Контрольные вопросы
Контрольные задания

ГЛАВА 3. АРИФМЕТИЧЕСКИЕ ВЫРАЖЕНИЯ. ПРЕДИКАТЫ ВВОДА И ВЫВОДА ТЕРМОВ
3.1. Термы
3.2. Константы
3.3. Переменные
3.4. Арифметические выражения
3.5. Предикаты сравнения значений арифметических выражений
3.6. Ввод и вывод
Контрольные вопросы

ГЛАВА 4. УПРАВЛЕНИЕ ВЫПОЛНЕНИЕМ ПРОГРАММЫ
4.1. Цепочка
4.2. Выбор среди альтернатив
4.3. Использование fail и возврата для организации повторяющегося процесса (цикла)
4.4. Преобразование базы знаний
4.5. Накопление суммы
4.6. Создание бесконечных альтернатив при помощи repeat
4.7. Ввод и вывод фактов динамической базы данных
Пример выполнения контрольного задания
Контрольные вопросы
Контрольные задания

ГЛАВА 5. РЕКУРСИЯ
5.1. Введение
5.2. Как писать рекурсивные определения
5.3. Нисходящая рекурсия
5.4. Восходящая рекурсия
Контрольные вопросы
Контрольные задания

ГЛАВА 6. ОТСЕЧЕНИЕ
6.1. Введение
6.2. Воздействие отсечения на процесс выполнения
6.3. Использование отсечения
6.4. Ловушки отсечения
Контрольные вопросы
Контрольные задания

ГЛАВА 7. СПИСКИ
7.1. Введение
7.2. Описание списков в языке Visual Prolog
7.3. Голова и хвост списка
7.4. Унификация списков как аргументов предикатов
7.5. Принадлежность элементов списку
7.6. Ввод, вывод списка как терма
7.7. Использование предиката присоединить
7.8. Использование предиката присоединить для разделения списка
7.9. Операции со списками
7.10. Составные списки
Пример выполнения контрольного задания
Контрольные вопросы
Контрольное задание

ГЛАВА 8. СТРОКИ, СИМВОЛЫ И СИМВОЛИЧЕСКИЕ ИМЕНА
8.1. Строки
8.2. Встроенные предикаты обработки строк
8.3. Сравнение символов, строк и символических имен
Пример выполнения контрольного задания
Контрольные вопросы
Контрольные задания

ГЛАВА 9. СТРУКТУРЫ
9.1. Введение в структуры
9.2. Описание смешанных областей данных
9.3. Описание области с множественным типом данных
Контрольные вопросы
Контрольное задание

ГЛАВА 10. СОЗДАНИЕ ПРИЛОЖЕНИЙ С ИСПОЛЬЗОВАНИЕМ ГРАФИЧЕСКОГО ИНТЕРФЕЙСА В СРЕДЕ VISUAL PROLOG 7.0
10.1. Создание проекта
10.2. Создание модального диалога
10.3. Изменение меню
10.4. Изменение панели инструментов
10.5. Ввод основного кода в программу
10.6. Инкапсуляция интерактивного кода
Заключение

ПРИЛОЖЕНИЕ 1. ОБЗОР СРЕДЫ

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

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