СодержаниеТема 1. Основы логического программирования. Описание метода резолюции.\r\nТема 2. Начальные сведения о языке Пролог. \r\nДекларативный стиль программирования.\r\nТема 3. Рекурсия в прологе. \r\nОпределение рекурсии.\r\nТема 4. Управление доказательством. \r\nТема 5. Применение Пролога для решения прикладных задач. Пример задачи о восьми ферзях и реализация предикатов порождения и проверки.\r\nТема 6. Архитектура Пролог – машины. \r\nСтек управления.ВведениеПрограммы на Прологе (ПРОграммирование на ЛОГическом языке) содержат утверждения, сделанные программистом, т.е. \\\"декларации\\\" логических соотношений, необходимых для решения задачи. Языки, позволяющие описывать логические соотношения, при помощи которых программа может решить задачу, называются декларативными языками. Программы на таких языках объявляют, какие результаты дадут те или иные действия. Программист предоставляет самой системе разобраться в совокупности способов решения задачи.Литература1. Пантелеев Е.Р., Куликов Д.А. Логическое программирование. Учебное пособие. Иваново, ИГЭУ, 2000 г.