The Theory
of Datalog

Easy to run, surprisingly hard to analyse.