CLP (Flex): Constraint logic programming applied to XML processing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3291, Issue , 2004, Pages 1098-1112

  Coelho, Jorge ^a   Florido, Mario ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED DATABASE SYSTEMS; INTERNET; MULTI AGENT SYSTEMS; SEMANTIC WEB; SEMANTICS; XML;

CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT SOLVING; DECLARATIVE MODELS; DEGREE OF FLEXIBILITY; FUNCTION SYMBOLS; XML PROCESSING;

LOGIC PROGRAMMING;

EID: 35048902431     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30469-2_17     Document Type: Article

References (28)

1. Véronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: an XML-centric general-purpose language. In Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming, pages 51-63, Uppsala, Sweden, 2003. ACM Press.
2. H. Boley. Relationships between logic programming and XML. In Proc. 14th Workshop Logische Programmierung, 2000.
3. F. Bry and S. Schaffet. The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In 2nd Annual International Workshop Web and Databases, volume 2593 of LNCS. Springer Verlag, 2002.
4. F. Bry and S. Schaffert. Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In International Conference on Logic Programming (ICLP), volume 2401 of LNCS, 2002.
5. B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, and W. Windsteiger. The Theorema System: Proving, Solving, and Computing for the Working Mathematician. Technical Report 00-38, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, 2000.
6. A M Cheadle, W Harvey, A J Sadler, J Schimpf, K Shen, and M G Wallace. ECLiPSe: An Introduction. Technical Report IC-Parc-03-1, IC-Parc, Imperial College London, London, 2003.
7. J. Coelho and M. Florido. Type-based XML Processing in Logic Programming. In V. Dahl and P. Wadler, editors, Practical Aspects of Declarative Languages, volume 2562 of Lecture Notes in Computer Science, pages 273-285, New Orleans, USA, 2003. Springer Verlag.
8. Jorge Coelho and Mário Florido. CLP(Flex): Constraint logic programming applied to XML processing. Technical report, DCC-FC, LIACC. University of Porto, (available from www.ncc.up.pt/~jcoelho/clpflex.pdf), 2004.
9. A. Colmerauer. An introduction to Prolog III. Communications of the ACM, 33(7):69-90, 1990.
10. A. Colmerauer. Prolog III Reference and Users Manual, Version 1.1. In PrologIA, Marseilles, 1990.
11. A. Farquhar, R. Fikes, and J. Rice. The ontolingua server: A tool for collaborative ontology construction. International Journal of Human-Computer Studies, 46(6):707-727, 1997.
12. M. R. Genesereth and R. E. Fikes. Knowledge Interchange Format, Version 3.0 Reference Manual TR Logic-92-1. Technical report, Stanford University, Stanford, 1992.
13. Haruo Hosoya and Benjamin Pierce. XDuce: A typed XML processing language. In Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, 2000.
14. J. Jaffar. Minimal and complete word unification. Journal of the ACM, 37(1):47-85, 1990.
15. J. Jaffar and J. L. Lassez. Constraint Logic Programming. In Proceedings of the Fourteenth Annual ACM Symp. on Principles of Programming Languages, POPL '87, pages 111-119, Munich, Germany, 1987. ACM Press.
16. Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503-581, 1994.
17. Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, and Roland II. C. Yap. The CLP(R) Language and System. In Trans. Program. Lang. Syst., volume 14, pages 339-395. ACM, 1992.
18. T. Kutsia. Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 conference, volume 2385 of Lecture Notes in Artificial Intelligence, pages 290-304, Marseille, France, 2002. Springer Verlag.
19. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
20. G. S. Makanin. The problem of solvability of equations in a free semigroup. Math. Sbornik USSR, 103:147-236, 1977.
21. Wolfgang May. XPathLog: A Declarative, Native XML Data Manipulation Language. In International Database Engineering & Applications Symposium (IDEAS '01), Grenoble, France, 2001. IEEE.
22. Pillow: Programming in (Constraint) Logic Languages on the Web. http://clip.dia.fi.upm.es/Software/pillow/pillow.html.
23. SWI Prolog, http://www.swi-prolog.org/.
24. Klaus U. Schulz. Word unification and transformation of generalized equations. Journal of Automated Reasoning, 11(2):149-184, 1993.
25. Gert Smolka. Feature constraint logics for unification grammars. Journal of Logic Programming, 12:51-87, 1992.
26. Extensible Markup Language (XML). http://www.w3.org/XML/.
27. XSL Transformations (XSLT). http://www.w3.org/TR/xslt/, 1999.
28. Xtatic. http://www.cis.upenn.edu/~bcpierce/xtatic/.