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

Что будем изучать

Принципы логического программирования
Математическая теория в основе логического программирования –

Что понадобится?

Любая СП Prolog, поддерживающая «классический» Эдинбургский синтаксис:
GNU Prolog (http://www.gprolog.org)
Система на

Что нас ждет?

Лекции
Семинары
Лабораторные работы (4 шт.)
выполняются самостоятельно
Самостоятельная работа
Доклады
Обсуждения
Экзамен

Критерии оценки

Экзамен (письменный, 5 вопросов) – 80%
Лабораторные работы – 20%
Самостоятельная работа

Варианты самостоятельной работы

Научно-исследовательская работа
Выполнение полу-исследовательского проекта
Выступление с докладом (15-20 мин.)

Источники

Источники

Сошников Д.В., Парадигма логического программирования
Братко И. Программирование на языке Пролог для

Введение в Пролог и логическое программирование

Рассмотрим пример

speciality(X,tech_translator) :- studied_languages(X),studied_technical(X).
speciality(X,programmer) :-
studied(X,mathematics),studied(X, compscience).
speciality(X,lit_translator) :- studied_languages(X),studied(X,literature).
studied_technical(X) :- studied(X,mathematics).
studied_technical(X)

Как это выглядит?

Механизм логического вывода

Дерево И-ИЛИ

Дерево И-ИЛИ (продолжение)

Дерево вывода

Дерево вывода (продолжение)

Механизм работы логического интерпретатора

Запрос (целевое утверждение) сопоставляется (унифицируется) с головами имеющихся

Какое отношение это имеет к логике?

speciality(X,tech_translator) :- studied_languages(X),studied_technical(X).

Дедуктивные базы данных

В приведенном выше примере можно условно выделить базу фактов

Более сложный пример

Автоматическое построение учебных планов
Опишем зависимости между дисциплинами:
depends(lin_alg, math_logic)
depends(logic_prog, math_logic).
depends(compscience,

Более сложный пример (продолжение)

Что видите интересного в этом примере?

need_to_study(S,D) :- requires(S,D).
need_to_study(S,D)

Классический пример

Как можно описать предметную область?

father(nicholas_ii,olga_1).
father(nicholas_ii,tatyana).
mother(alexandra_fedorovna_1,olga_1).
mother(alexandra_fedorovna_1,tatyana).

parent(nicholas_ii,olga_1).
parent(alexandra_fedorovna_1,olga_1).
parent(nicholas_ii,tatyana).
parent(alexandra_fedorovna_1,tatyana).
male(nicholas_ii).
female(alexandra_fedorovna_1).
father(X,Y) :- parent(X,Y), male(X).
mother(X,Y) :- parent(X,Y), female(X).

parents(nicholas_ii,alexandra_fedorovna_1,olga_1).
parents(nicholas_ii,alexandra_fedorovna_1,tatyana).

parents(nicholas_ii,alexandra_fedorovna_1,olga_1). F1parents(nicholas_ii,alexandra_fedorovna_1,tatyana).