Mercury

Mercury je univerzální, čistě funkcionální programovací jazyk s důrazem na logické programování, který vyvinuli vědci z Melbournské univerzity. I když je možné psát programy v jazyce Mercury bez znalosti logického programování, jazyk je navržen tak, aby podporoval programování v deklarativním stylu logického programování, ve kterém jsou programy psány jako specifikace toho, co má program dělat, a nikoli jako posloupnost kroků, které je třeba provést. Mercury je navržen tak, aby byl efektivní jak z hlediska času provádění, tak z hlediska využití paměti. Toho dosahuje přísnou typovou kontrolou, statickou analýzou a pečlivou kompilací do nativního kódu. Překladač Mercury je svobodný software s otevřeným zdrojovým kódem vydaný pod licencí GNU General Public License.