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).

Examples

Basics: input > output
Higher order: input > output
Lazy evaluation: input > output

Source code

Source code examples (gzipped tar file)
To run it you will need a copy of NU-Prolog (maybe there will be a portable version some day)

Lee