Scope PomoLogic defines a common intermediate representation (IR) and semantics for a datalog query engine