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...

Celý popis

Podrobná bibliografia

Vydané v:	The journal of logic programming Ročník 29; číslo 1; s. 17 - 64
Hlavní autori:	Somogyi, Zoltan, Henderson, Fergus, Conway, Thomas
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 1996
ISSN:	0743-1066, 1873-5789
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!