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á bibliografie

Vydáno v:	The journal of logic programming Ročník 29; číslo 1; s. 17 - 64
Hlavní autoři:	Somogyi, Zoltan, Henderson, Fergus, Conway, Thomas
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 1996
ISSN:	0743-1066, 1873-5789
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!