NU-Prolog

L. Naish, University of Melbourne

A variant of Prolog with 'when' declarations. Type-checked. The successor to MU-Prolog. See PNU-Prolog.

"NU-Prolog Reference Manual - Version 1.3", J. A. Thom et al eds, TR 86/10, University of Melbourne, 1988.