MU-Prolog
{Prolog} with "wait" declarations for
{coroutining}, developed by L. Naish of the {Univeristy of
Melbourne} in 1982.
["Negation and Control in Prolog", L. Naish, TR 85/12, U
Melbourne (1985)]. See {NU-Prolog}.
(1998-02-14)