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

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 17; no. 2; pp. 121 - 147
Main Authors:	ANTOY, SERGIO, HANUS, MICHAEL
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.03.2017
Subjects:	BASIC (programming language) Completeness Languages Logic Logic programming Programming Regular Papers functional logic programming program transformation semantics
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!