[ACM] CACM 33(07) (July 1990)

(1957) Communications of the ACM  

Colmerauer, Alain (1990) Colmerauer, Alain "An introduction to Prolog III"