Default rules for Curry

In functional logic programs, rules are applicable independently of textual order, i.e., any rule can potentially be used to evaluate an expression. This is similar to logic languages and contrary to functional languages, e.g., Haskell enforces a strict sequential interpretation of rules. However, i...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 17; číslo 2; s. 121 - 147
Hlavní autoři:	ANTOY, SERGIO, HANUS, MICHAEL
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.03.2017
Témata:	BASIC (programming language) Completeness Languages Logic Logic programming Programming Regular Papers functional logic programming program transformation semantics
ISSN:	1471-0684, 1475-3081
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!