Logic Programming

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

• Online lectures
• Q&A Telegram Channel:
  • 2021 generation
  • General: http://t.me/log_pro
• Course Repository: http://github.com/shwars/logpro

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

References

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