6 works on record
Logic Programming
Constraints and databases
Computational Logic CL 2000 00
Principles and Practice of Constraint Programming
Logic-Based Program Synthesis and Transformation
Functional and Logic Programming