论文信息 - Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach - 字舞流文

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

Danny De Schreye | Henk Vandecasteele

[1] Philippe Codognet,et al. A Minimal Extension of the WAM for clp(FD) , 1993, ICLP.

[2] Pascal Van Hentenryck. Constraint satisfaction in logic programming , 1989, Logic programming.

[3] Maurice Bruynooghe,et al. Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism , 1990, ESOP.

[4] Bernard A. Nadel,et al. Constraint satisfaction algorithms 1 , 1989, Comput. Intell..

[5] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..

[6] Pascal Van Hentenryck,et al. The Cardinality Operator: A New Logical Connective for Constraint Logic Programming , 1990, WCLP.