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.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 7 articles )

Showing results 1 to 7 of 7.
Sorted by year (citations)

  1. Dundua, Besik; Kutsia, Temur; Marin, Mircea: Variadic equational matching in associative and commutative theories (2021)
  2. Kurtanidze, Lia; Rukhaia, Mikheil: Skolemization in unranked logics (2018)
  3. Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea: CLP((\mathsfH)): constraint logic programming for hedges (2016)
  4. Dundua, Besik; Florido, Mário; Kutsia, Temur; Marin, Mircea: Constraint logic programming for hedges: a semantic reconstruction (2014)
  5. Alpuente, María; Ballis, Demis; Falaschi, Moreno; Frechina, Francisco; Romero, Daniel: Rewriting-based repairing strategies for XML repositories (2013)
  6. Almendros-Jiménez, J. M.; Caballero, R.; García-Ruiz, Y.; Sáenz-Pérez, F.: XPath query processing in a functional-logic language (2012) ioport
  7. Almendros-Jiménez, Jesus M.; Caballero, Rafael; García-Ruiz, Yolando; Sáenz-Pérez, Fernando: XQuery in the functional-logic language (\mathcalTOY) (2011) ioport