Abstrakt. I detta dokument presenterar vi ett genomförande av en begränsningslösningsmodul, CLP(Flex), för att hantera enandet i en jämställdhetsteori för termer med flexibla aritmetiska funktionssymboler. Sedan presenterar vi en tillämpning av CLP(Flex) på XML-behandling där XML-dokument är abstrakta med termer med flexibla aritmetiska symboler. Detta ger en mycket tydlig modell för XML-behandling som ger en betydande flexibilitet i programmeringen.
REF utvecklade en begränsningslogik programmeringsspråk CLP(Flex) över område av termer med sekvensvariabler och flexibla areity symboler.
CLP(Flex): Constraint logic programming applied to XML processing
{'venue': 'On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE. Proc. of Confederated Int. Conferences, volume 3291 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}