MU-Prolog

L. Naish, University of Melbourne, 1982

Prolog with 'wait' declarations for coroutining. See NU-Prolog.

"Negation and Control in Prolog", L. Naish, TR 85/12, University of Melbourne, 1985.