Skip to main content Skip to main navigation


Relfun/X - An Experimental Prolog Implementation of Relfun

Werner Stein; Michael Sintek
DFKI, DFKI Documents (D), Vol. 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.