Functional Logic Programming in GCLA
Functional Logic Programming in GCLA
Olof Torgersson
In 6th
NWPT, pages 400-414
Abstract:
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.
Comments
Department of Computing Science, Chalmers University of
Technology, S-412 96 Göteborg, Sweden. Email: oloft@cs.chalmers.se.
Available as PostScript,
DVI.
BRICS WWW home page