CLP(Flex) swMATH ID: 28534 Software Authors: J. Coelho; M. Florido Description: CLP(Flex): Constraint Logic Programming Applied to XML Processing. 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. Homepage: https://link.springer.com/chapter/10.1007/978-3-540-30469-2_17 Related Software: Theorema; Mathematica; Veriflog; XCentric; Maude; Tom; ASF+SDF Cited in: 7 Publications all top 5 Cited by 8 Authors 6 Kutsia, Temur 3 Dundua, Besik 3 Marin, Mircea 1 Florido, Mário 1 Kurtanidze, Lia 1 Levy, Jordi 1 Rukhaia, Mikheil 1 Villaret, Mateu Cited in 3 Serials 4 Journal of Symbolic Computation 1 Bulletin of TICMI 1 Theory and Practice of Logic Programming Cited in 3 Fields 7 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Special functions (33-XX) Citations by Year