×

zbMATH — the first resource for mathematics

Overlapping rules and logic variables in functional logic programs. (English) Zbl 1131.68364
Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 87-101 (2006).
Summary: Functional logic languages extend purely functional languages with two features: operations defined by overlapping rules and logic variables in both defining rules and expressions to evaluate. In this paper, we show that only one of these features is sufficient in a core language. On the one hand, overlapping rules can be eliminated by introducing logic variables in rules. On the other hand, logic variables can be eliminated by introducing operations defined by overlapping rules. The proposed transformations between different classes of programs not only give a better understanding of the features of functional logic programs but also may simplify implementations of functional logic languages.
For the entire collection see [Zbl 1130.68008].

MSC:
68N17 Logic programming
68N18 Functional programming and lambda calculus
Software:
TOY; BABEL
PDF BibTeX Cite
Full Text: DOI