ConflictModule

The conflicts between statements (module conflict). Without metaConflicts they are the built-in ones (a literal and its negation, and those between obligations and permissions) and those the theory declares (conflict/2,3); with metaConflicts they are only those concluded by an argument for conflict(A, B) or conflict(A, B, Guard).

The conflicts the languages of the theory state (graphLanguage) are kept in the context by the parser; with the conflict model declared (conflictModel), the built-in ones do not hold.

Statements are written as in the conclusions of arguments, [Claim]. A conflict may hold only under a guard, a Prolog goal (or a term true or false) checked when the conflict is used.