Clark & McCabe, Imperial College 1979. Logic language with coroutining.

["IC-Prolog Language Features", K.L. Clark <[email protected]> et al in Logic Programming, K.L. Clark et al eds, pp.253-266, Academic Press 1982].