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.