Mercury (programming language): Difference between revisions

Revision as of 19:06, 23 May 2019

Revision as of 12:45, 30 June 2019

Line 55:

|access-date = 2008-08-30|citeseerx=10.1.1.46.9861}}</ref> Its authors claim that Mercury is the fastest logic language in the world, by a wide margin.<ref name="motivation"/>

Mercury is a purely [[Declarative programming|declarative]] language, unlike [[Prolog]], since it lacks ''extra-logical'' Prolog statements such as <code>cut!</code> (cut) and [[imperative programming|imperative]] [[input/output]] (I/O). This enables advanced [[static program analysis]] and [[program optimization]], including compile-time [[Garbage collection (computer science)|garbage collection]],<ref>{{cite thesis

|url=https://mercurylang.org/documentation/papers/CW2004_03_mazur.pdf

|title=Compile-time garbage collection for the declarative language Mercury