A Definitional Approach to Functional Logic Programming
Paper in proceedings, 1996
We describe a definitional approach to the combination of functional and logic
programming based on the theory of Partial Inductive Definitions. The described method produces programs directly executable in the definitional programming language GCLA. We show both a basic calculus for functional logic program definitions and discuss a refined version where the rules definitional resolution, definitional reflection, and definitional axiom are altered to be better suited for functional evaluation and equation solving.
Functional Logic Programming