Publikation
Relfun/X - An Experimental Prolog Implementation of Relfun
Werner Stein; Michael Sintek
DFKI, DFKI Documents (D), Vol. 91-01, 1991.
Zusammenfassung
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.