Apt, Krzysztof R ; Bezem, Marc "Formulas as Programs"

The Logic Programming Paradigm: a 25 Years Perspec (1998) The Logic Programming Paradigm: a 25 Years Perspective, K.R. Apt, V. Marek, M. Truszczynski and D.S. Warren (eds), Springer-Verlag, Artificial Intelligence Series  

Languages mentioned Alma {1997} Imperative Constraint Programming Language