Naish, L. "Negation and Control in Prolog", TR 85/12, Uni of Melbourne 1985
(1985)
Languages mentioned
MU-Prolog
{1982} Prolog with coroutining