IC-Prolog
Imperial College Prolog
Clark & McCabe, Imperial College, 1979
A logic language with coroutines.
"IC-Prolog Language Features", K. L. Clark et al in Logic Programming, K. L. Clark et al eds, pp.253-266, Academic Press, 1982.