Next: Bibliography, Previous: Pragmas, Up: Top [Contents]
The 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. | |