Cambridge U.P.
Theory and Practice of Logic Programming
Networks and Optimization

Apt, K., & Monfroy, E. B. G. (2001). Constraint programming viewed as rule-based programming. Special issue in honor of Alain Colmerauer, on the occasion of his 60th birthday. Theory and Practice of Logic Programming, 1(6), 713–750.