Constraint logic programming over sets of spatial objects

WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming

Volumn , Issue , 2005, Pages 32-42

  Almendros Jiménez, Jesús M ^a  

^a UNIVERSITY OF ALMERÍA   (Spain)

Author keywords

CLP; Logic Programming

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; OBJECT RECOGNITION; PROBLEM SOLVING; SEMANTICS;

CLP; CONSTRAINT SOLVERS; OPERATIONAL SEMANTICS; SPATIAL OBJECTS;

LOGIC PROGRAMMING;

EID: 32044452677     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1085099.1085106     Document Type: Conference Paper

References (16)

1. 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′on, Universidad de Almer′la, 2004.
2. 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.
3. K. R. Apt. Principles of Constraint Programming. Cambridge University Press, 2003.
4. 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.
5. 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.
6. 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.
7. 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.
8. P. Codognet and D. Diaz. A Simple and Efficient Boolean Solver for Constraint Logic Programming. Journal of Automated Reasoning, 17(1):97-129, 1996.
9. A. Guttman. Rtrees: A Dynamic Index Structure for Spatial Searching. In Proceedings of ACM SIGMOD Conference, pages 47-57, 1984.
10. J. Jaffar and M. J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, JLP, 19,20:503-582, 1994.
11. 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.
12. G. M. Kuper, L. Libkin, and J. Paredaens, editors. Constraint Databases. Springer, 2000.
13. K. Marriot and P. J. Stuckey. Programming with Constraints: an Introduction. MIT Press, 1998.
14. P. Z. Revesz. Safe Query Languages for Constraint Databases. ACM TODS, 23(1):58-99, 1998.
15. 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.
16. E. Schwalb and L. Vila. Temporal Constraints: A Survey. Constraints, 3(2/3): 129-149, 1998.