Joxan雅法;迈克尔·马赫;万豪酒店，Kim;彼得·斯塔基 约束逻辑程序的语义。 （英语） 兹伯利0920.68068 J.日志。程序。 37，第1-3、1-46号（1998年）. 概要：约束逻辑编程（CLP）方案由Jaffar和Lassez介绍。该方案给出了一个基于约束的形式化框架，用于扩展类逻辑程序的基本操作、逻辑和代数语义。本文首次在一个自包含的完整包中介绍了CLP的语义基础。主要贡献有三方面。首先，我们通过从第一原理给出定义和基本语义结构来扩展原始会议论文，为主要引理提供新的完整证明。重要的是，我们澄清了哪些定理依赖于诸如解的紧性、满足完备性和约束的独立性等条件。其次，我们推广了原始结果，以考虑约束求解器的不完整性。这一点很重要，因为几乎所有CLP系统都使用不完全解算器。第三，我们给出了关于（可能不完整的）求解器的条件，以确保操作语义是合流的，即具有文字调度的独立性。 引用于28文件 MSC公司： 68问题55 计算理论中的语义学 68N17号 逻辑编程 关键词：约束逻辑程序设计 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaffar}等人，J.Log。程序。37，编号1--3，1--46（1998；Zbl 0920.68068） 全文： 内政部