XCentric swMATH ID: 9889 Software Authors: Coelho, J., Florido, M. Description: XCentric: logic programming for XML processing. Here we present the logic-programming language XCentric, discuss design issues, and show its adequacy for XML processing. Distinctive features of XCentric are a powerful unification algorithm for terms with functors of arbitrary arity (which correspond closely to XML documents) and a rich type language that uses operators such as repetition (*), alternation, etc, as types allowing a compact representation of terms with functors with an arbitrary number of arguments (closely related to standard type languages for XML). This new form of unification together with an appropriate use of types yields a substantial degree of flexibility in programming. Homepage: http://dl.acm.org/citation.cfm?id=1316904 Related Software: CLP(Flex); Maude; Mathematica; Theorema; Veriflog; Tom; ASF+SDF; XPathLog; XPath; TOY; Haskell; XMark Cited in: 5 Publications all top 5 Cited by 11 Authors 3 Dundua, Besik 3 Kutsia, Temur 3 Marin, Mircea 2 Florido, Mário 1 Alpuente, María 1 Ballis, Demis 1 Falaschi, Moreno 1 Frechina, Francisco 1 Kurtanidze, Lia 1 Romero, Daniel M. 1 Rukhaia, Mikheil Cited in 4 Serials 1 Journal of Symbolic Computation 1 Bulletin of TICMI 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming Cited in 3 Fields 5 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Special functions (33-XX) Citations by Year