Introduction to
Logic Programming
with
Datalog
?
