Datalog: a tutorial