Source : Free On-Line Dictionary of Computing

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)