Introduction to
Logic Programming
with Datalog
Max Schaefer
(
xiemaisi@gmail.com
)