Integrating Finite Domain Constraints and CLP with Sets

Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn 5, Issue , 2003, Pages 219-229

  Dal Palu A ^a   Dovier, A ^a   Pontelli, E ^b   Rossi, G ^c  

^a UNIVERSITY OF UDINE   (Italy)

^b NEW MEXICO STATE UNIVERSITY   (United States)

^c UNIVERSITY OF PARMA   (Italy)

Author keywords

Constraint logic programming; Programming with sets

Indexed keywords

CONSTRAINT LOGIC PROGRAMMING; PROGRAMMING WITH SETS;

ALGORITHMS; CONSTRAINT THEORY; FUNCTIONS; LOGIC PROGRAMMING; PROBLEM SOLVING; SEMANTICS; SET THEORY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 1242332692     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. ARENAS-SÁNCHEZ, P., AND RODRÍGUEZ-ARTALEJO, M. A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. Theory and Practice of Logic Programming 2, 1 (2001), 185-245.
2. BELDICEANU, N., AND CARLSSON, M. Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. In International Conference on Logic Programming (2001), P. Codognet, Ed., Springer Verlag, pp. 59-73.
3. F. Bouquet, B. Legeard, and F. Peureux. CLPS-B - a constraint solver for B. In J.-P. Katoen and P. Stevens, editors, Tools and Algorithms for the Construction and Analysis of Systems, LNCS 2280, pages 188-204. Springer-Verlag, 2002.
4. CODOGNET, P., AND DIAZ, D. Compiling constraints in CLP(FD). Journal of Logic Programming 27 (1996), 185-226.
5. DOVIER, A., OMODEO, E. G., PONTELLI, E., AND ROSSI, G. {log}: A Language for Programming in Logic with Finite Sets. Journal of Logic Programming 28, 1 (1996), 1-44.
6. DOVIER, A., PIAZZA, C., PONTELLI, E., AND ROSSI, G. Sets and Constraint Logic Programming. ACM Transactions on Programming Languages and Systems 22, 5 (2000), 861-931.
7. FLENER, P., HNICH, B., AND HIZILTAN, Z. Compiling high-level type constructor in constraint programming. In PADL2001 (2001), I. Ramakrishnan, Ed., no. 1990 in Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 229-244.
8. GERVET, C. Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language. Constraints 1 (1997), 191-246.
9. IC PARC. The ECLiPSe Constraint Logic Programming System. London, www.icparc.ic.ac.uk/eclipse/.
10. JAFFAR, J., AND MAHER, M. J. Constraint Logic Programming: A Survey. Journal of Logic Programming 19-20 (1994), 503-581.
11. JAYARAMAN, B. Implementation of Subset-Equational Programs. Journal of Logic Programming 12, 4 (1992), 299-324.
12. MARRIOTT, K., AND STUCKEY, P. J. Programming with Constraints: an Introduction. The MIT Press, Cambridge, Mass., 1998.
13. RÉGIN, J.-C. Generalized Arc Consistency for Global Cardinality Constraints. In Proceedings of the AAAI/IAAI Conference (1996), pp. 209-215.
14. ROSSI, G. The {log} Constraint Logic Programming Language. prmat.math.unipr.it/̃gianfr/setlog.Home.html.
15. SHMUELI, O., TSUR, S., AND ZANIOLO, C. Compilation of Set Terms in the Logic Data Language (LDL). Journal of Logic Programming 12, 1/2 (1992), 89-119.
16. SWEDISH INSTITUTE OF COMPUTER SCIENCE. The SICStus Prolog Home Page. www.sics.se.
17. VAN HENTENRYCK, P. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
18. VAN HENTENRYCK, P., AND DEVILLE, Y. The Cardinality Operator: a New Logical Connective for Constraint Logic Programming. In International Conference on Logic Programming (1991), K. Furukawa, Ed., MIT Press, pp. 745-759.
19. YAKHNO, T., AND PETROV, E. Extensional Set Library for ECLiPSe. In PSI'99 (2000), D. Bjørner, M. Broj, and A. Zamulin, Eds., no. 1755 in Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 434-444.