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

Vydané v:	Theory and practice of logic programming Ročník 17; číslo 2; s. 121 - 147
Hlavní autori:	ANTOY, SERGIO, HANUS, MICHAEL
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.03.2017
Predmet:	BASIC (programming language) Completeness Languages Logic Logic programming Programming Regular Papers functional logic programming program transformation semantics
ISSN:	1471-0684, 1475-3081
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!