我·菲利彭科。;莫里斯，F.L。 逻辑编程领域。 （英文） Zbl 0745.68072号 西奥。计算。科学。 94，第1期，63-99（1992）. 摘要：我们构造了Scott域，这些域非常适合用于逻辑编程的抽象实现，也可能适合于其他一阶数据结构的建模。领域元素，我们称之为“移植物”，实际上是一种有向图。域中的近似顺序对应于术语元组之间的关系，“has as a substitution instance”；需要付出的代价是，变量重命名下的一个等价类（元组）术语由许多嫁接表示。嫁接域有两种风格——普通和“非循环”——用于在没有和带有“发生检查”的情况下对逻辑编程进行建模。逻辑编程的最小不动点语义从我们的开发中优雅地重新出现，以赋值给属于移植域的开放子集的逻辑程序的每个谓词字母作为其外延的形式。 MSC公司： 68问题55 计算理论中的语义学 68N17号 逻辑编程 关键词：Scott域;逻辑程序设计的最小不动点语义 PDF格式BibTeX公司 XML格式引用 \textit{I.Filippenko}和\textit{F.L.Morris}，Theor。计算。科学。94，编号1，63--99（1992；Zbl 0745.68072） 全文： 内政部 链接 参考文献： [1] Aít-Kaci，H.，有效解决类型方程的代数语义方法，理论。计算。科学。，43, 293-351 (1986) ·Zbl 0628.68010号 [2] Colmerauer，A.，《Prolog和无限树》（Clark，K.；Tarnlund，S.A.，《逻辑编程》（1982），学术出版社：纽约学术出版社），231-251 [3] van Emden，M.H。；Kowalski，R.A.，谓词逻辑作为编程语言的语义，J.ACM，23，4，733-742（1976）·Zbl 0339.68004号 [4] Goguen，J.A。；撒切尔，J.W。；瓦格纳，E.G。；Wright，J.B.，《初始代数语义和连续代数》，J.ACM，24，1，68-95（1977）·Zbl 0359.68018号 [5] Huet，Gérard，Résolution d‘équations dans des langages d‘ordre 1，2，…，ω，（博士论文，第七期（1976年9月），巴黎大学） [6] Lloyd，J.W.，《逻辑编程基础》（1984），《施普林格：施普林格柏林》·Zbl 0547.68005号 [7] Robinson，J.A.，《基于分辨原理的面向机器的逻辑》，J.ACM，12，1，23-41（1965）·Zbl 0139.12303号 [8] Scott，D.S.，指称语义领域，（Proc.1982 Internat.Conf.on Automata，Languages and Programming，Vol.140（1982），Springer:Springer Berlin），577-613，计算机科学讲稿·Zbl 0495.68025号 [9] Scott，D.S.，《计算机科学中的一些有序集》（Rival，Ivan，ordered sets（1982），Reidel:Reidel Dordrecht）·Zbl 0497.06001号 [10] G.Winskel和K.G.Larsen，《使用信息系统有效地求解递归域方程》，技术报告第51号。英国剑桥大学计算机实验室。；G.Winskel和K.G.Larsen，《使用信息系统有效地求解递归域方程》，技术报告第51号。剑桥大学计算机实验室，英国剑桥·Zbl 0539.68019号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。