An extension of Datalog rules, where variables in the consequent part of the rule (the rule head) can be quantified using an existential quantifier.