劳埃德·J·W·。；谢泼德森，J.C。 逻辑编程中的部分求值。 （英语） Zbl 0741.68030号 J.日志。程序。 11，No.3-4，217-242（1991）. 小结：本文为逻辑程序设计中的部分评价提供了理论基础。设（P）是正规程序，（G）是正规目标，（{mathbf a}）是有限原子集，（P’）是（P\hbox{wrt}{mathbf-a}的部分求值。我们研究了在声明语义学和过程语义学中，对于te目标（G），（P'）是健全和完整的（hbox{wrt}P\）的条件。我们确定了两个相关条件，即封闭性和独立性。对于过程语义，我们证明了，如果（P'\cup\{G\}）是\（{mathbfA}）-闭的，并且\（{MathbfA{）是独立的，那么\（P'\）对于目标\（G\）是健全和完整的\（\hbox{wrt}P\）。对于声明性语义，我们证明了，如果\（P'\cup\{G\}\）是\（{mathbfA}\）-closed，那么\（P'\）对于目标\（G\）是sound\（\hbox{wrt}P\）。然而，我们表明，除非施加强条件，否则声明性语义不具有完备性。我们的结果的一个实际结果是，部分评估者应该强制执行封闭性和独立性条件。 引用于1审查引用于49文件 MSC公司： 68N17号 逻辑编程 关键词：部分评估；声明语义和过程语义 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Lloyd}和textit{J.C.Shepherdson}，J.Log。程序。11，编号3--4，217--242（1991；Zbl 0741.68030） 全文： 内政部