Technical Report: DCC-2004-6

CLP(Flex): Constraint Logic Programming Applied to XML Processing

 Jorge Coelho and Mário Florido

DCC & LIACC
Universidade do Porto
Rua do Campo Alegre, 823 4150 Porto, Portugal
 July 2004

Abstract

In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symbols. Then we present an application of CLP(Flex) to XML-processing where XML documents are abstracted by terms with flexible arity symbols. This gives a highly declarative model for XML processing yielding a substantial degree of flexibility in programming.

Keywords:XML Processing; Constraint Logic Programming.