CLP(柔性)

CLP(Flex):应用于XML处理的约束逻辑编程。本文介绍了一个约束求解模块CLP(Flex)的实现,该模块用于处理等式理论中具有灵活的arity函数符号的项的统一。然后介绍了CLP(Flex)在XML处理中的应用,其中XML文档通过灵活的arity符号抽象出来。这为XML处理提供了一个高度声明性的模型,在编程方面具有很大的灵活性。