Prolog with 'wait' declarations for coroutining by L. Naish, Univeristy of Melbourne, 1982. ["Negation and Control in Prolog", L. Naish, TR 85/12, U Melbourne (1985)]. See NU-Prolog.