Jaffar, J. et al "Constraint Logic Programming",

[POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)  

Languages mentioned CLP {1980} Constraint Logic Programming.