Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A type system for logic program
Journal of Logic Programming
Fast and precise regular approximations of logic programs
Proceedings of the eleventh international conference on Logic programming
Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML with data values: typechecking revisited
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On Dart-Zobel Algorithm for testing regular type inclusion
ACM SIGPLAN Notices
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
XDuce: A Typed XML Processing Language (Preliminary Report)
Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
Typechecking for Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
Theory and Practice of Logic Programming
biXid: a bidirectional transformation language for XML
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
Science of Computer Programming
XCentric: logic programming for XML processing
Proceedings of the 9th annual ACM international workshop on Web information and data management
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
Integrating XQuery and Logic Programming
Applications of Declarative Programming and Knowledge Management
| Hi-index | 0.00 |
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a standard type inference algorithm for logic programs and use the types corresponding to the DTDs as additional type declarations for logic programs for XML processing. Due to the correctness of the type inference this makes it possible to use logic programs as an implicitly typed processing language for XML with static type (in this case DTDs) validation. As far as we know this is the first work adding type validation at compile time to the use of logic programming for XML processing.