[ Reference Manual | Alphabetic Index ]

library(mercury)

Mercury compatibility predicates.   [more]

Predicates

error(++Message)
Abort, printing an error message.
report_lookup_error(++Message, ++Key, ?Value)
Report a lookup error and abort.

Description

This module provides (a few) Mercury compatibility predicates, useful for when porting Mercury modules to ECLiPSe.

About


Generated from mercury.eci on 2017-09-08 15:30