Лекции по ЛП. Слайды

МАИ.
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.
Подготовка к экзамену по курсу Логическое программирование
Преподаватель: Сошников Д. В. ~500 стр.Что такое логическое программирование
Введение в логическое программирование
Логика
Резолюции
Пролог и Меркурия
Рекурсивные Структуры данных
Отрицание как Failure
Логических задач
Типизированное программирование
Простой поиск
Эвристический поиск
Символьных вычислений
Объектно-ориентированная логик
Language Processing
Метапрограммирование
Экспертные системы
Семантика и программы Доказательство
Ограничение и индуктивной логики программирования
Заключительные мыслиРазличные парадигмы программирования и подходы к определению
вычислимости. Декларативные языки программирования как альтернатива императивным. Логическое программирование как алгоритмическая модель, альтернативная модели Тьюринга - фон НейманаМатематическая логика. Логика предикатов первого порядка. Она достаточно формальна и позволяет формулировать свойства.Программы представляют собой строго формализованную постановку задачи.
Естественный способ описания. Выполнение инициализируется запросом на нахождение значений переменных, удовлетворяющих какому-нибудь предикаты или формуле.