В первой половине книги логическое программирование вводится на уровне учебного пособия, однако в дополнение здесь ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Хоггер К.N.
Введение в логическое программирование
В первой половине книги логическое программирование вводится на уровне учебного пособия, однако в дополнение здесь дается гораздо больше теоретического и исторического материала, чем обычно можно было бы ожидать в учебнике по программированию. Уровень изложения соответствует курсу информатики, читаемому студентам первого года обучения. Во второй половине рассматриваются более сложные аспекты логики как вычислительного формализма. Цель этой части книги - собрать воедино, упростить и объяснить избранные темы из подчас разрозненной и технически очень сложной исследовательской литературы, а также дать обзор последних достижений в теории и приложениях. Она может быть использована в качестве справочника как студентами, специализирующимися в области логического программирования, так и теми исследователями, для которых эта область является сравнительно новой.