Source : Free On-Line Dictionary of Computing

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].