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

В учебном пособии рассматривается логическая (декларативная) парадигма программирования на примере языка логического программирования Prolog. Излагаются основные возможности и особенности языка, приведены сведения о синтаксисе языка, рассмотрены основные механизмы решения задач: сопоставление с образцом, поиск с возвратом, рекурсия, образующие мощную и гибкую среду программирования, описан процесс разработки программ на языке Prolog. Наряду с теоретическим материалом большое число практических примеров, приведенных и рассмотренных в пособии, позволяет изучить основные приемы и методы логического (декларативного) стиля программирования. Учебное пособие «Логическое программирование» предназначено для студентов, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия» очной и заочной (дистанционной) форм обучения.