Введение в логическое программирование

Хоггер К.0-12-352090-8, 5-03-000490-4

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