Mercury
Website: www.mercurylang.org
Proiectat de: Zoltan Somogyi
Mercur este un limbaj de programare logică funcțională realizat pentru utilizări din lumea reală.
Prima versiune a fost dezvoltată la Universitatea din Melbourne, Departamentul de Informatică, de Fergus Henderson, Thomas Conway și Zoltan Somogyi, sub supravegherea lui Somogyi, și lansat la 8 aprilie 1995.
Mercur este un limbaj de programare logică pur declarată.
Este legat atât de Prolog, cât și de Haskell.
Dispune de un sistem puternic, static, de tip polimorf și un sistem de mod puternic și determinism.
Implementarea oficială, compilatorul de mercur din Melbourne, este disponibilă pentru majoritatea platformelor asemănătoare UNIX și UNIX, inclusiv Linux, MacOS și pentru Windows.