Logic Programming

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

Course Repository: http://github.com/shwars/logpro Q&A Telegram Channel: http://t.me/log_pro

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

Course Outline:

  1. Intro to Logic Programming