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

Description

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