ABSTRACT
Constraint Logic Programming (CLP) is a framework integrating Constraint Programming (CP) and Logic Programming (LP). CLP is described as a general schema of combination of logic-based languages and constraint solvers. Recently, a constraint system for the handling of constraints over sets of spatial objects has been presented. In this paper we study how to consider a CLP instance for this kind of constraints. In particular, we study the fixed-point and operational semantics of such instance. With respect to the operational semantics it is described how the constraint solver interacts with the mechanism of resolution, in particular how to detect failure branches by means of a consistence constraint checker and how to achieve constraint propagation and compute solved forms.
- J. M. Almendros-Jimenez and A. Corral. Solving constraints on sets of spatial objects, available in http://www.ual.es/~jalmen/padl05tr.ps. Technical report, Dpto. de Lenguajes y Computación, Universidad de Almería, 2004.Google Scholar
- J. M. Almendros-Jimenez and A. Corral. Solving constraints on sets of spatial objects. In Proc. of Practical Aspects of Declarative Languages, volume 3350, pages 158--173. LNCS Springer, 2005. Google ScholarDigital Library
- K. R. Apt. Principles of Constraint Programming. Cambridge University Press, 2003. Google ScholarDigital Library
- A. Belussi, E. Bertino, and B. Catania. Manipulating Spatial Data in Constraint Databases. In Proceeding of SSD'97 Conference, LNCS 1262, pages 115--141. Springer, 1997. Google ScholarDigital Library
- A. Belussi, E. Bertino, and B. Catania. An Extended Algebra for Constraint Databases. IEEE Transactions on Knowledge and Data Engineering, TKDE, 10(5):686--705, 1998. Google ScholarDigital Library
- F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. Lopez-Garcia, and G. Puebla. The ciao system. reference manual (v1.10). num. clip3/97.1.10(04). Technical report, School of Computer Science, Technical University of Madrid (UPM), 2004.Google Scholar
- A. M. Cheadle, W. Harvey, A. J. Sadler, J. Schimpf, K. Shen, and M. G. Wallace. Eclipse: An introduction. Technical report, IC-Parc, Imperial College London, Technical Report IC-Parc-03-1, 2003.Google Scholar
- P. Codognet and D. Diaz. A Simple and Efficient Boolean Solver for Constraint Logic Programming. Journal of Automated Reasoning, 17(1):97--129, 1996.Google ScholarCross Ref
- A. Guttman. Rtrees: A Dynamic Index Structure for Spatial Searching. In Proceedings of ACM SIGMOD Conference, pages 47--57, 1984. Google ScholarDigital Library
- J. Jaffar and M. J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, JLP, 19,20:503--582, 1994.Google ScholarCross Ref
- J. Jaffar, M. J. Maher, P. J. Stuckey, and R. H. C. Yap. Beyond Finite Domains. In Proceedings of Principles and Practice on Constraint Programming, pages 86--94, 1994. Google ScholarDigital Library
- G. M. Kuper, L. Libkin, and J. Paredaens, editors. Constraint Databases. Springer, 2000. Google ScholarDigital Library
- K. Marriot and P. J. Stuckey. Programming with Constraints: an Introduction. MIT Press, 1998.Google ScholarDigital Library
- P. Z. Revesz. Safe Query Languages for Constraint Databases. ACM TODS, 23(1):58--99, 1998. Google ScholarDigital Library
- P. Rigaux, M. Scholl, L. Segoufin, and S. Grumbach. Building a Constraint-based Spatial Database System: Model, Languages, and Implementation. Information Systems, 28(6):563--595, 2003. Google ScholarDigital Library
- E. Schwalb and L. Vila. Temporal Constraints: A Survey. Constraints, 3(2/3):129--149, 1998. Google ScholarDigital Library
Index Terms
- Constraint logic programming over sets of spatial objects
Recommendations
Temporal reasoning in a meta constraint logic programming architecture
TIME '96: Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)Constraint Logic Programming (CLP) is a powerful programming paradigm combining the advantages of Logic Programming and the efficiency of constraint solving. However, CLP presents some limitations in dealing with temporal reasoning. First, it uses an "...
On Combining Backward and Forward Chaining in Constraint Logic Programming
PPDP '14: Proceedings of the 16th International Symposium on Principles and Practice of Declarative ProgrammingWe address the problem of designing constraint logic languages that usefully combine backward and forward chaining in a sound and complete way. Following the approach of Constraint Logic Programming, we define a class of programming languages that ...
Constraint Functional Logic Programming Revisited
In this paper we propose a new generic scheme CFLP(D), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given constraint domain D. As in the case of the well known CLP(D) scheme for ...
Comments