NUE-Prolog implementation

NUE-Prolog is implemented as a preprocessor for NU-Prolog. The source language is NU-Prolog augmented with evaluable function definitions. The output is standard NU-Prolog including some goals to add information for the runtime system. The output includes NU-Prolog when declarations. These are useful for various things but are not vital (see the paper).


Source code