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. | |