Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Storing and querying ordered XML using a relational database system
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
The Elog Web Extraction Language
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Type-Based XML Processing in Logic Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Relationships between Logic Programming and RDF
Revised Papers from the PRICAI 2000 Workshop Reader, Four Workshops held at PRICAI 2000 on Advances in Artificial Intelligence
The XML Query Language Xcerpt: Design Principles, Examples, and Semantics
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A typed representation for HTML and XML documents in Haskell
Journal of Functional Programming
XPath-logic and XPathLog: A logic-programming style XML data manipulation language
Theory and Practice of Logic Programming
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
Theory and Practice of Logic Programming
ORDPATHs: insert-friendly XML node labels
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
IBM Systems Journal
Pathfinder: XQuery---the relational way
VLDB '05 Proceedings of the 31st international conference on Very large data bases
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
XCentric: logic programming for XML processing
Proceedings of the 9th annual ACM international workshop on Web information and data management
An RDF Query Language based on Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
The rule markup language: RDF-XML data model, XML schema hierarchy, and XSL transformations
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
A full pattern-based paradigm for XML query processing
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
An Encoding of XQuery in Prolog
XSym '09 Proceedings of the 6th International XML Database Symposium on Database and XML Technologies
Querying and reasoning with RDF(S)/OWL in XQuery
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
Extending XQuery for semantic web reasoning
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
| Hi-index | 0.01 |
In this paper we investigate how to integrate the XQuery language and logic programming. With this aim, we represent XML documents by means of a logic program. This logic program represents the document schema by means of rules and the document itself by means of facts. Now, XQuery expressions can be integrated into logic programming by considering a translation (i.e. encoding) of for-let-where-return expressions by means of logic rules and a goal.