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