Логическое программирование - Ю. В. Новицкая
Автор: | Ю. В. Новицкая |
Издательство: | Новосибирский государственный технический университет |
Серия: | |
Жанр произведения: | |
Год издания: | 2021 |
isbn: | 978-5-7782-4373-6 |
В учебном пособии рассматривается логическая (декларативная) парадигма программирования на примере языка логического программирования Prolog. Излагаются основные возможности и особенности языка, приведены сведения о синтаксисе языка, рассмотрены основные механизмы решения задач: сопоставление с образцом, поиск с возвратом, рекурсия, образующие мощную и гибкую среду программирования, описан процесс разработки программ на языке Prolog. Наряду с теоретическим материалом большое число практических примеров, приведенных и рассмотренных в пособии, позволяет изучить основные приемы и методы логического (декларативного) стиля программирования. Учебное пособие «Логическое программирование» предназначено для студентов, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия» очной и заочной (дистанционной) форм обучения.