Summary: Overlapping Rules and Logic Variables in
Functional Logic Programs
Sergio Antoy1
Michael Hanus2
1
Computer Science Department, Portland State University,
P.O. Box 751, Portland, OR 97207, U.S.A.
antoy@cs.pdx.edu
2
Institut f¨ur Informatik, CAU Kiel, D-24098 Kiel, Germany.
mh@informatik.uni-kiel.de
22nd International Conference on Logic Programming (ICLP06)
Seattle, WA, USA, August 17­20, 2006
c Springer-Verlag LNCS Vol. 4079, pages 87­101
Abstract. Functional logic languages extend purely functional lan-
guages 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 lan-
guage. On the one hand, overlapping rules can be eliminated by intro-
ducing logic variables in rules. On the other hand, logic variables can be

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences