MU-Prolog - L. Naish, U Melbourne 1982. Prolog with wait declarations
for coroutining. "Negation and Control in Prolog", L. Naish, TR 85/12, U
Melbourne (1985). (See NU-Prolog).
MU-Prolog Programming Language
http://www.programming-languages.co.uk/mu-prolog.html
Large list of computer programming languages arranged alphabetically, with explanations.