Clark, K.L. et al "IC-Prolog Language Features" pp253-266

Clark, K.L. (1982) Clark, K.L. et al eds, Logic Programming, Academic Press 1982.  

Languages mentioned IC-Prolog {1979}