Functional Logic Systems
frolog:
a (lazy) functional Prolog expansion implemented in SWI-Prolog. It provides:
mixed functional-logic syntax and evaluation.
higher order functions, lambda abstractions
optional lazy evaluation on data structures
quotations and unquotations for evaluation suspension
optional functional prompt for expression reduction
Available here:
frolog.zip
OOPS:
an experimental prototype with
failure
.
System requierements:
Linux OS
SWI-Prolog (freely available at
http://www.swi-prolog.org
)
Latex and postcript utilities for the tracer
Distribution:
Full source code and examples:
oops.tar.gz
(readme file explains how to get a binary version)
Programming examples:
oopsExamples.tar.gz
TOY: see
http://gpd.sip.ucm.es/systems.html