Relfun/X - An Experimental Prolog Implementation of Relfun

Werner Stein, Michael Sintek

DFKI DFKI Documents (D) 91-01 1991.


Relfun/X is an experimental implementation of Relfun, a relational and functional laguage developed by Harold Boley at Kaiserslautern University. It is totally implemented in Prolog; additionally, the Relfun/X programs are compiled into Prolog programs (i.e. "consulted" analogously to the ordinary consulting scheme of Prolog). While Relfun/X does not provide all the features of the Lisp-based Relfun implementation, it is the first running version supporting Relfun's multi-footed clauses.

D-91-01.pdf (pdf, 1 MB )

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz