Logic Programming

Here are the materials for Logic Programming course that I teach at Moscow Aviation Technical University.

You may also look at the following related video course: Logic Programming on Intuit.ru (in Russian)

Course Outline:

  1. Intro to Logic Programming
  2. First Steps into Logic Programming
  3. Recurrent Data Structures. Lists
  4. Recurrent Data Structures. Trees
  5. Logic
  6. Definite Clauses and Resolution
  7. Prolog and Mercury. Typed Logic Programming.
  8. Negation and Cuts
  9. Solving Logical Problems
  10. Search
  11. Solving Problems by Explicit Search in State Space
  12. Symbolic Computations and Computer Algebra.
  13. Natural Language Processing
  14. F-Logic and Object-Oriented Logic Programming
  15. Metaprogramming


  • Сошников Д.В., Парадигма логического программирования. - М.: Вузовская книга, 2006.
  • Братко И. Программирование на языке Пролог для искусственного интеллекта. пер. с англ. – М.: Мир, 1990.
  • Bratko I. Programming in Prolog for Artificial Intelligence (3rd edition), Addison-Wesley Publishers, 2001.
  • Клоксин У., Меллиш К. Программирование на языке Пролог. – М.: Мир, 1987.
  • Хоггер К. Введение в логическое программирование: Пер. с англ. -М.: Мир, 1988.
  • Набебин А.А. Логика и Пролог в дискретной математике. – М.: Изд-во МЭИ, 1996.
  • Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ. -М.: Наука, 1990.
  • Стерлинг Х., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. - М.: Мир, 1990.