塞萨尔·蒂内利;Mehdi T.哈兰迪。 约束理论联合上的约束逻辑编程。 (英语) Zbl 0924.68050号 J.功能。日志。程序。 1998年,第6条(1998年). 摘要:本文提出了Jaffar-Lassez约束逻辑规划方案的一个扩展,该方案使用具有不同签名的约束理论的并集进行操作,并通过适当组合组件理论的约束求解器来确定混合约束的可满足性。我们描述了扩展方案,并按照原始方案的思路为其提供了逻辑和操作语义。然后,我们展示了约束逻辑编程的主要可靠性和完整性结果如何提升到我们的扩展中。 引用于1文件 MSC公司: 68N17号 逻辑编程 关键词:Jaffar-Lassez约束逻辑编程方案 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}和\textit{M.T.Harandi},J.Funct。日志。程序。1998年,第6条(1998;Zbl 0924.68050) 全文: 链接