4.15.4.10 Consistency Errors

A consistency error occurs when two otherwise valid values or operations have been specified that are inconsistent with each other. For example, if two modules each import the same predicate from the other, that is a consistency error. This error classe is an extension to the ISO Prolog standard.

The SICStus_Error term associated with a consistency error is

     consistency_error(Goal, Culprit1, Culprit2, Message)

Culprit1

One of the conflicting values/operations.

Culprit2

The other conflicting value/operation.

Message

Additional information, or 0, or ''.