Relfun/X : an experimental prolog implementation of Relfun

Abstract

Relfun/X is an experimental implementation of Relfun, a relational and functional language 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