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.

Logic Programming

Functional Logic Programming

Definitional Programming


Olof Torgersson

Department of Computer Science

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

Vol. 1050 273-287

Subject Categories

Computer and Information Science

More information