Content deleted Content added
ce |
→Disjunctive programs: main Tags: Mobile edit Mobile web edit |
||
Line 286:
==Disjunctive programs==
{{main|Disjunctive Datalog}}
In a ''disjunctive rule'', the head may be the disjunction of several atoms:
|