[ library(mercury) | Reference Manual | Alphabetic Index ]

error(++Message)

Abort, printing an error message.
Message
A string giving the error message to display

Description

Corresponds to Mercury's require:error/1 predicate.

Fail Conditions

Never fails.

Resatisfiable

no