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

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

Цуканова Н. И. Теория и практика логического программирования на языке Visual Prolog 7. Учебное пособие для вузов / Н.И. Цуканова, Т.А. Дмитриева. - Москва : Горячая Линия–Телеком, 2013. - 232 с. - ISBN 978-5-9912-0194-0. - URL: http://188.93.208.91/bookshelf/334047/reading (дата обращения: 27.11.2025). - Текст: электронный.