Introduction to
Logic Programming
with Datalog