Clark & McCabe, Imperial College 1979. Logic language with coroutining.
["IC-Prolog Language Features", K.L. Clark <klc@doc.ic.ac.uk> et al in Logic Programming, K.L. Clark et al eds, pp.253-266, Academic Press 1982].