MU-Prolog

MU-Prolog

(language)Prolog with "wait" declarations forcoroutining, developed by L. Naish of the Univeristy of Melbourne in 1982.

["Negation and Control in Prolog", L. Naish, TR 85/12, UMelbourne (1985)]. See NU-Prolog.