[ 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