Stripped down Datalog