NU-Prolog

L. Naish, U Melbourne.

A Prolog with 'when' declarations, the successor to MU-Prolog.

Type-checked.

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

Available (but not free).

(See PNU-Prolog).

E-mail: <[email protected]>.

< Previous Terms	Terms Containing NU-Prolog	Next Terms >
number crunching numbers number sign Numeris Nuprl	Aditi BeBOP MU-Prolog NU-Prolog PNU-Prolog	nurbs Nu Thena NUXI problem NVRAM NVS