Cohen, Jacques "Describing Prolog by its interpretation and compilation"

[ACM] (1985) [ACM] CACM 28(12) (Dec 1985)  

Languages mentioned DCG {1980}