The execution algorithm of mercury, an efficient purely declarative logic programming language

We introduce Mercury, a new purely declarative logic programming language designed to provide the support that groups of application programmers need when building large programs. Mercury's strong type, mode, and determinism systems improve program reliability by catching many errors at compile...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The journal of logic programming Jg. 29; H. 1; S. 17 - 64
Hauptverfasser:	Somogyi, Zoltan, Henderson, Fergus, Conway, Thomas
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 1996
ISSN:	0743-1066, 1873-5789
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!