[ 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