The execution algorithm of Mercury, an efficient purely declarative logic programming language (1996)
| Citations: | 175 - 20 self |
BibTeX
@MISC{Somogyi96theexecution,
author = {Zoltan Somogyi and Fergus Henderson and Thomas Conway},
title = {The execution algorithm of Mercury, an efficient purely declarative logic programming language},
year = {1996}
}
Years of Citing Articles
OpenURL
Abstract
Machine or WAM. Section 5 describes some optimizations and shows how Mercury handles I/O. Section 6 gives the current state of the Mercury system while section 7 presents performance results. 2. The Mercury language Syntactically, Mercury is similar to Prolog with additional declarations, partly because Prolog syntax is standard in the logic programming community and partly because this made it simple to execute Mercury programs using Prolog systems early in our project. Semantically, however, Mercury is very different from Prolog. Mercury is a pure logic programming language with a well-defined declarative semantics. Like Godel [14], Mercury provides declarative replacements for Prolog 's non-logical features. Unlike Godel, Mercury does not retain any non-logical features; in Mercury even I/O is declarative. Mercury is designed to appeal to at least two groups of programmers. One group is those with backgrounds in imperative languages such as C who are looking for a higher level an...







