mu-prolog

from The Free On-line Dictionary of Computing (8 July 2008)

MU-Prolog

   <language> {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)