Next: RELFUN Toplevel Up: FLIP: Functional-plus-Logic Programming on Previous: Quicksort

The User Interface

In this appendix, the user interface for the prototypical implementation of the integration of REL, LL, WAM, and LLAMA in the RELFUN environment is described.

RELFUN Toplevel
Declarations
Transforming Deterministic REL Predicates into LL Functions

Harold Boley & Michael Sintek (sintek@dfki.uni-kl.de)