NU-Prolog

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: <jas@mulga.oz.au>.
References in periodicals archive ?
With the advantage of hindsight, this variation of Prolog can be viewed as an unsuccessful experiment to break out of the straight jacket of depth-first, textual order control; it implemented coroutining now found in a different form in NU-Prolog and Prolog II.