A Definitional Approach to Functional Logic Programming
Paper i proceeding, 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.

Logic Programming

Functional Logic Programming

Definitional Programming


Olof Torgersson

Institutionen för datavetenskap

Extensions of Logic Programming 5th International Workshop, ELP'96

Vol. 1050 273-287


Data- och informationsvetenskap