Логическое и реляционное программирование 2021

Материал из CSC Wiki
Перейти к:навигация, поиск

Преподаватель Булычев Дмитрий Юрьевич dboulytchev@gmail.com Группа в Телеграм, где можно и нужно задавать вопросы.

Программа курса:

  1. Пропозициональное исчисление. Задача выполнимости. DPLL. Конспект.
  2. Conflict-Driven Clause Learning. Конспект.
  3. Логика первого порядка. Синтаксическая унификация. Конспект.
  4. Дизъюнкты Хорна. SLD-резолюция, язык Пролог, операционная семантика. Конспект.
  5. Отрицание в логическом программировании, SLD/NAF, predicate completion. Стабильные модели. Конспект.
  6. Реляционное программирование и язык миниКанрен. Поиск с перестановками, полнота. Конспект.
  7. Диз-унификация и disequality constraint.
  8. Реляционная конверсия и реляционные интерпретаторы.

Дополнительные материалы:

- слайды Эмины Торлак про CDCL, хороший пример и инкрементальное объяснение.

- реализация крошечного Пролога.

- SWI Prolog.

- реализация типизированного миниКанрен для OCaml.

Репозиторий для домашних заданий