Теория и практика логического программирования на языке Visual Prolog 7 — Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог. Изложены основы логического программирования на примере языка Visual Prolog 7.
Рассмотрены структура программы, алгоритм работы интерпретатора, ввод - вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования и управления выполнением программы, различные структуры данных и предикаты работы с ними. Книга содержит многочисленные примеры, а также контрольные вопросы и практические задания. Пособие может быть полезно при изучении курса "Функциональное и логическое программирование".
Для студентов высших учебных заведений, программистов, специалистов в области искусственного интеллекта и баз данных.

Название: Теория и практика логического программирования на языке Visual Prolog 7
Автор: Цуканова Н. И., Дмитриева Т. А.
Издательство: Горячая линия-Телеком
Год: 2013
Страниц: 232
Формат: PDF
Размер: 10,03 МБ
ISBN: 978-5-9912-0194-0
Качество: Отличное

Содержание:

Предисловие
1. Введение в теоретические основы логического программирования
2. Описание предметной области с помощью программы на Прологе
3. Общая схема выполнения программы на языке Пролог
4. Арифметические выражения. предикаты ввода и вывода термов
5. Управление выполнением программы
6. Рекурсия
7. Отсечение
8. Списки
9. Строки, символы и символические имена
10. Структуры
11. Создание приложений в среде Visual Prolog 7.0-7.3
Приложение 1. Что нового в Visual Prolog 7.0
Список литературы