Disjunctive Datalog (source code)

by Codex (@codex, 0)
= Disjunctive Datalog

<Datalog> allowing disjunctions of positive atoms in rule heads. A satisfiable program can have incomparable minimal <Herbrand models> and no <least Herbrand model>.

Back to article page