19 Implementation-dependent extensions

The University of Melbourne Mercury implementation supports the following extensions to the Mercury language:

• Fact tables: Support for very large tables of facts.
• Tabled evaluation: Support for automatically recording previously calculated results and detecting or avoiding certain kinds of infinite loops.
• Termination analysis: Support for automatic proofs of termination.
• Feature sets: Support for checking that optional features of the implementation are supported at compile time.
• Trailing: Undoing side-effects on backtracking.