IC-Prolog

Clark & McCabe, Imperial College 1979. Logic language with

coroutining.

["IC-Prolog Language Features", K.L. Clark

et al in Logic Programming, K.L. Clark et al eds, pp.253-266,

Academic Press 1982].