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

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

Автор: Н.И. Цуканова, Т.А. Дмитриева
Издательство: Горячая линия-Телеком
Жанр: Программирование
Формат: PDF
Качество: Изначально электронное (ebook)
Иллюстрации: Черно-белые
Размер 10 Мб