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