error(++Message) Abort, printing an error message. report_lookup_error(++Message, ++Key, ?Value) Report a lookup error and abort.
This module provides (a few) Mercury compatibility predicates, useful for when porting Mercury modules to ECLiPSe.