| 释义 |
NU-Prolog NU-PrologL. Naish, U Melbourne. A Prolog with 'when' declarations, thesuccessor to MU-Prolog. Type-checked. "NU-Prolog ReferenceManual - Version 1.3", J.A. Thom et al eds, TR 86/10, UMelbourne (1988). Available (but not free). (SeePNU-Prolog). E-mail: . |