Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach.

Henk Vandecasteele, Danny De Schreye

Browse the full LPAR paper archive.