Datalog is a popular query language with applications in several domains. Like any complex piece of software, Datalog engines may contain bugs. The mo