Mercury
Mercury è un linguaggio di programmazione funzionale basato sul Prolog ma progettato per essere pi� utile in applicazioni reali (al di fuori dell'ambito accademico). È stato sviluppato all'Università di Melbourne sotto la supervisione di Zoltan Somogyi.Mercury � un linguaggio compilato, anziché interpretato come la maggior parte dei linguaggi funzionali. Inoltre, possiede un forte type-checking che, unito alle capacità di astrazione tipiche dei linguaggi funzionali, permette, stando agli autori, di scrivere programmi pi� rapidamente che con altri linguaggi pi� comuni. Infine, la struttura modulare di Mercury permette di di separare i programmi in moduli auto-contenuti, un problema in molti linguaggi funzionali meno recenti.
Esempio (Hello, world)
(di Ralph Becket, Università di Melbourne):
- - module hello_world.
- - interface.
- - import_module io.
- - pred main(io__state, io__state).
- - mode main(di, uo) is det.
- - implementation.
main -->
io__write_string("Hello, World!\
").