伊贡博格尔；院长罗森茨威格 完整Prolog的数学定义。 （英语） Zbl 0832.68022号 科学。计算。程序。 第3249-286号（1995年）. 概要：本文为完整的编程语言Prolog提供了一个数学但简单的模型，这显然是ISO标准草案的意图。该模型包括所有控制结构、数据库操作、解决方案收集谓词和错误处理设施，这些通常被以前对该语言的理论处理所忽略。我们添加了无处不在的盒模型调试器。该模型直接反映了语言的基本直觉，可以用作Prolog的主要数学定义。该模型的核心已应用于实现的数学分析，用于澄清有争议的语言特性，并指定语言在各个方向的扩展。该模型可以为将已建立的逻辑编程理论扩展到Prolog的外部特性提供指导。 引用于11文件 MSC公司： 68N17号 逻辑编程 关键词：序言；逻辑程序设计 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{D.Rosenzweig}，科学。计算。程序。24，第3号，249--286（1995；Zbl 0832.68022） 全文： 内政部