Название: Теория и практика логического программирования на языке Visual Prolog 7 Автор: Цуканова Н.И., Дмитриева Т.А. Издательство: Горячая линия-Телеком Год: 2013 Страниц: 232 ISBN: 978-5-9912-0194-0 Формат: PDF Размер: 10 Мб Язык: русский
Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог. Изложены основы логического программирования на примере языка Visual Prolog 7. Рассмотрены структура программы, алгоритм работы интерпретатора, ввод - вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования и управления выполнением программы, различные структуры данных и предикаты работы с ними. Книга содержит многочисленные примеры, а также контрольные вопросы и практические задания. Пособие может быть полезно при изучении курса "Функциональное и логическое программирование". Для студентов высших учебных заведений, программистов, специалистов в области искусственного интеллекта и баз данных.
Оглавление
Содержание Предисловие 1. Введение в теоретические основы логического программирования 2. Описание предметной области с помощью программы на Прологе 3. Общая схема выполнения программы на языке Пролог 4. Арифметические выражения. предикаты ввода и вывода термов 5. Управление выполнением программы 6. Рекурсия 7. Отсечение 8. Списки 9. Строки, символы и символические имена 10. Структуры 11. Создание приложений в среде Visual Prolog 7.0-7.3 Приложение 1. Что нового в Visual Prolog 7.0 Список литературы
Скачать Цуканова Н.И., Дмитриева Т.А. - Теория и практика логического программирования на языке Visual Prolog 7
|