Логическое программирование. Ю. В. Новицкая

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

Год выпуска: 2021

Автор произведения: Ю. В. Новицкая

Серия:

Жанр:

Издательство: Новосибирский государственный технический университет

isbn: 978-5-7782-4373-6

Краткое описание:

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