Main | Team | Papers | Download | Links


Introduction

XML is now the standard technology for information exchanging. The rules provided by DTDs and XMLSchemas are an interesting way to improve safe methods for information processing. In a situation like the one in the figure above where we are trying to translate some input XML to some output XML, it's faster to develop a program for that task if we have a way to tell if the program output is valid at compile timeThe goal of our work is to provide a statically typed logic programming language specialized for XML processing. The idea is to provide a type system for Prolog, which guarantees the program safety with respect to the DTDs.

We have an implementation available for download and testing. We thank you in advance for your feedback.

 

Contact us