English Disjunctive Datalog Cited by user Felix QW on 04 Aug 2023 Disjunctive Datalog is an extension of the logic programming language Datalog that allows disjunctions in the heads of rules.