Логическое программирование

В пособии рассматривается логическое программирование с помощью языка Про-лог. Приведены необходимые теоретические знания и методические указания для созда-ния эффективных и элегантных программ. Содержится много задач для практикума по логическому программированию. Для преподавателей, обучающих декларативному программированию, и студентов, изучающих язык Пролог.