A short presentation on Datalog as a tool to solve theoretical questions and applied problems relating to constraint satisfaction. This was part of the Seminar Mathematical Logic at the Master of Logic of the Institute for Logic, Language, and Computation.

• source code
• abstract
• slides
• report