Mercury

Mercury je univerzálny, čisto funkcionálny programovací jazyk s dôrazom na logické programovanie, ktorý vyvinuli výskumníci z Melbournskej univerzity. Hoci je možné písať programy v jazyku Mercury bez akýchkoľvek znalostí logického programovania, jazyk je navrhnutý tak, aby podporoval programovanie v deklaratívnom štýle logického programovania, v ktorom sa programy píšu skôr ako špecifikácie toho, čo má program robiť, než ako postupnosť krokov, ktoré sa majú vykonať. Mercury je navrhnutý tak, aby bol efektívny z hľadiska času vykonávania aj využitia pamäte. Dosahuje to prísnou typovou kontrolou, statickou analýzou a starostlivou kompiláciou do natívneho kódu. Kompilátor Mercury je slobodný softvér s otvoreným zdrojovým kódom, vydaný pod všeobecnou verejnou licenciou GNU.