Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Overlapping Rules and Logic Variables in Functional Logic Programs #

Summary: Overlapping Rules and Logic Variables in
Functional Logic Programs #
Sergio Antoy 1 Michael Hanus 2
1 Computer Science Department, Portland State University,
P.O. Box 751, Portland, OR 97207, U.S.A.
2 Institut f˜ur Informatik, CAU Kiel, D­24098 Kiel, Germany.
22nd International Conference on Logic Programming (ICLP06)
Seattle, WA, USA, August 17--20, 2006
# 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 su#cient 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
eliminated by introducing operations defined by overlapping rules. The
proposed transformations between di#erent classes of programs not only


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


Collections: Computer Technologies and Information Sciences