Vi introducerar Mercury, en ny rent förklarande logik programmeringsspråk som är utformad för att ge det stöd som grupper av programprogrammerare behöver när de bygger stora program. Merkurius starka typ, läge och determinism system förbättrar programmets tillförlitlighet genom att fånga många fel vid kompileringstid. Vi presenterar en ny och relativt enkel utförandemodell som drar nytta av den information dessa system ger för att generera mycket eektiv kod. Prototypen Mercury-kompilatorn använder denna utförandemodell för att generera portabel C-kod. Vår benchmarking visar att den kod som genereras av vår experimentella implementering är avsevärt snabbare än den kod som genereras av mogna optimerade implementationer av andra logiska programmeringsspråk.
Mercury REF är ett modernt deklarativ logik-programmering språk med moduläritet och separat sammanställning.
The execution algorithm of Mercury, an efficient purely declarative logic programming language
{'venue': 'Journal of Logic Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}