1. Jaffar, J., Lassez, J.-L.: Constraint Logic Programming. In: POPL, pp. 111–119 (1987)
2. Diaz, D., Codognet, P.: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming 6 (2001)
3. Wallace, M., Novello, S., Schimpf, J.: ECLiPSe: A Platform for Constraint Logic Programming. Technical Report (1997)
4. Lecture Notes in Computer Science;M. Carlsson,1997
5. Zhou, N.F., Nagasawa, I.: An Efficient Finite-domain Constraint Solver in Beta-Prolog. Journal of Japanese Society for Artificial Intelligence 9 (1994)