×

约束理论联合上的约束逻辑编程。 (英语) Zbl 0924.68050号

摘要:本文提出了Jaffar-Lassez约束逻辑规划方案的一个扩展,该方案使用具有不同签名的约束理论的并集进行操作,并通过适当组合组件理论的约束求解器来确定混合约束的可满足性。我们描述了扩展方案,并按照原始方案的思路为其提供了逻辑和操作语义。然后,我们展示了约束逻辑编程的主要可靠性和完整性结果如何提升到我们的扩展中。

MSC公司:

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 链接