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

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