What you always wanted to know about Datalog (and never dared to ask)