×
大卫·沃伦。

自上而下和自下而上的评估程序整合。 （英文） Zbl 1452.68040号

理论与实践。日志。程序。 18，编号3-4，706-721（2018）.
摘要：本文描述了逻辑程序设计系统XSB如何分别通过变量表和包含表与抽象的机制，将自顶向下和自下而上的计算结合起来。
众所周知，Prolog中逻辑规则的自顶向下评估具有递归过程调用的过程性解释[R.科瓦尔斯基，解决问题的逻辑。纽约，牛津：北荷兰（1979；兹比尔0426.68002)]. 表格增加了短路冗余计算的直观性[作者，《逻辑程序的记忆》，美国通信学会35号，第3期，93–111页（1992；数字对象标识代码：10.1145/131295.131299)]. 本文介绍了如何在表格逻辑程序评估中引入一个自下而上的组件，该组件的过程直觉是数据结构的初始化，在数据结构中，首先根据需要计算并填充关系，然后在更大的计算的剩余部分中使用，以实现高效查找。这允许许多Prolog程序以完全声明的方式表达，使以前需要过程性功能（如断言）的程序变得高效。

引用于1文件

MSC公司：

68N17号 逻辑编程

关键词：

自上而下;自下而上;逻辑程序设计;制表;Prolog公司;程序性解释

引文：

Zbl 0426.68002号

软件：

XSB公司;B-序言;YAP-序言
PDF格式BibTeX公司 XML格式引用
\textit｛D.S.Warren｝，《理论与实践》。日志。程序。18、编号3--4、706--721（2018；Zbl 1452.68040）
全文： 内政部 arXiv公司

参考文献：

[1] Aref，M。；Ten Cate，B。；格林·T·J。；Kimelfeld，B。；奥尔特阿努，D。；帕萨利克，E。；Veldhuizen，T.L。；Washburn，G.，《2015年ACM SIGMOD国际会议关于数据管理、logicblox系统设计和实施的会议记录》，1371-1382，（2015），ACM:ACM，美国纽约州纽约市
[2] Arni，F。；Ong，K。；Tsur，S。；Wang，H。；Zaniolo，C.，演绎数据库系统L++，逻辑程序设计理论与实践，3，1，61-94，（2003）·Zbl 1087.68559号 ·doi:10.1017/S147106840201515
[3] Bry，F.，演绎数据库中的查询评估：自下而上和自上而下协调，数据知识工程，5289-312，（1990）·doi:10.1016/0169-023X（90）90017-8
[4] 克鲁兹，F。；Rocha，R.（2011）
[5] 道林，W.F。；Gallier，J.H.，测试命题角公式可满足性的线性时间算法，J.Log。程序。，1, 267-284, (1984) ·Zbl 0593.68062号 ·doi:10.1016/0743-1066（84）90014-1
[6] Hermenegildo，M.V。；布埃诺，F。；卡罗，M。；洛佩斯·加西亚，P。；梅拉，E。；莫拉莱斯，J.F。；Puebla，G.，《Ciao及其设计理念概述》，TPLP，12，1-2，219-252，（2012）·Zbl 1244.68019号
[7] Johnson，E.（2000年）
[8] Johnson，E.（2002）
[9] 约翰逊，E。；罗马克里希南，C.R。；罗马克里希南，I.V。；Rao，P。；Middeldorp，A.公司。；佐藤，T.，《函数和逻辑编程：第四届富士国际研讨会》，FLOPS’99筑波，日本，1999年11月11-13日，《基于包容的逻辑程序表评估的空间效率引擎》，284-299，（1999），施普林格-柏林-海德堡：施普林格·Zbl 0929.00068号 ·数字对象标识代码：10.1007/10705424
[10] Kowalski，R.，《解决问题的逻辑》（Logic for Problem solving），（1986年），荷兰阿姆斯特丹North-Holland出版社：North-Holland出版社
[11] Lloyd，J.W.，逻辑编程基础，（1993），Springer Verlag纽约公司：Springer Verlag纽约公司，美国新泽西州塞考库斯·Zbl 0547.68005号
[12] 罗马克里希南，I.V。；Rao，P。；萨戈纳斯，K。；斯威夫特，T。；Warren，D.S.，表逻辑程序的高效访问机制，《逻辑编程杂志》，38，1，31-54，（1999）·Zbl 0911.68033号 ·doi:10.1016/S0743-1066（98）10013-4
[13] 罗摩克里希南，R。；Srivastava，D。；Sudarshan，S。；Seshadri，P.，《珊瑚演绎系统》，VLDB J.，3，2，161-210，（1994）·doi:10.1007/BF01228880
[14] Santos Costa，V。；罗查，R。；Damas，L.，《YAP序言系统》，TPLP，12，1-2，5-34，（2012）·Zbl 1244.68017号
[15] 斯威夫特，T。；Warren，D.S.，XSB:用表格逻辑编程扩展Prolog，逻辑编程的理论与实践，12，1-2，157-187，（2012）·Zbl 1244.68021号 ·doi:10.1017/S1471068411000500
[16] Tekle，K.T。；Liu，Y.A.，《2011年ACM SIGMOD国际数据管理会议论文集》，《更高效的数据日志查询：包容表击败魔术集》，661-672，（2011），ACM:ACM，美国纽约州纽约市
[17] 托曼，D.，In Proc。国际逻辑编程研讨会，自上而下战胜自下而上的数据日志约束扩展，98-114，（1995），麻省理工学院出版社
[18] Ullman，J.D.，第八届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集，自下而上自上而下的数据日志，140-149，（1989），ACM:ACM，美国纽约州纽约市
[19] Warren，D.S.，逻辑程序记忆，CACM，35，3，93-111，（1992）·数字对象标识代码：10.1145/131295.131299
[20] 沃伦，D.S。；斯威夫特，T。；Sagonas，K.F.（2007）
[21] 韦勒梅克，J。；Frehworth，T。；De Konink，L.（2017）
[22] 周，N.，《B-Prolog的语言特征和架构》，TPLP，12，1-2，189-218，（2012）·Zbl 1244.68024号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。