Functional Logic Programming in GCLA

Functional Logic Programming in GCLA

Olof Torgersson

In 6th NWPT, pages 400-414


We describe a definitional approach to functional logic programming, based on the theory of Partial Inductive Definitions and the Programming Language GCLA. It is shown how functional and logic programming are easily integrated in GCLA using the features of the language, that is combining functions and predicates in programs becomes a matter of programming methodology. We also give a brief description of a way to automatically generate efficient procedural parts to the described definitions.

Department of Computing Science, Chalmers University of Technology, S-412 96 Göteborg, Sweden. Email:

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page