Advanced Programming
Welcome to the webpage for the Logic Programming module, part of the Advanced Topics in Programming Languages Theory (ATPLT) course at Aarhus University.
This module is taught by Magnus Madsen (magnusm@cs.au.dk).
All material in this course is freely available under the Apache 2.0 license.
You can edit this course! The source for the book and slides is available on GitHub!
Thanks to everyone who has helped improve the material: