×
郭海峰;戈帕尔·古普塔

确定逻辑程序备选方案的动态重新排序。 （英语） Zbl 1387.68058号

计算。语言系统。结构。 35，第3期，252-265（2009）.
摘要：由于其高度声明性和高效性，表格逻辑编程系统已被应用于解决许多复杂问题。表格逻辑编程对于以表格分辨率扩展传统逻辑编程至关重要。本文针对确定性逻辑程序提出了一种新的表分解方案，称为动态重排序方案（DRA）分解。该方案在解析过程中跟踪子目标的类型；如果当前预解式中的子目标是前一个表格式子目标的变体，则使用表格式答案来解析该子目标；否则，程序子句的使用与SLD解析类似。在运行时导致可变子目标的程序子句被动态地重新排序，以便进一步计算，直到子目标被完全求值。DRA解析允许以深度优先、从左到右的遍历顺序执行查询求值，类似于Prolog类型的SLD解析，从而产生了一种将表解析合并到传统逻辑编程系统中的简单技术。我们证明了DRA分辨率的正确性。

引用于1文件

MSC公司：

68N17号 逻辑编程

关键词：

逻辑程序设计;表格分辨率;SLD分辨率;固定点;DRA分辨率

软件：

XSB公司
PDF格式BibTeX公司 XML格式引用
\textit{H.-F.H.-F.Guo}和\textit{G.G.Gupta}，计算。语言系统。结构。35，第3号，252--265（2009；Zbl 1387.68058）
全文： 内政部

参考文献：

[1] Lloyd，J.W.，《逻辑编程基础》（1987），施普林格出版社：柏林施普林格·Zbl 0547.68005号
[2] Rocha R，Silva FMA。Costa VS.在一个可以利用或并行的列表引擎上。摘自：逻辑编程国际会议记录。柏林：施普林格；2001年，第43-58页。；Rocha R，Silva FMA。Costa VS.在一个可以利用或并行的列表引擎上。摘自：逻辑编程国际会议记录。柏林：施普林格；2001年，第43-58页·Zbl 1053.68543号
[3] 萨戈纳斯，K。；Swift，T.，固定阶分层逻辑程序表执行的抽象机器，ACM TOPLAS，20，3，586-635（1998）
[4] 周N-F，沈毅，袁L，游J.线性表机制的实现。In:声明性语言的实用方面，2000年。；周N-F，沈毅，袁L，游J.线性表机制的实现。《声明性语言的实践方面》，2000年·Zbl 1037.68035号
[5] Ramakrishnan YS等人。使用表格分辨率进行有效的模型检查。收录：《计算机辅助验证程序》（CAV’97）。1997.; Ramakrishnan YS等人。使用表格分辨率进行有效的模型检查。收录于：计算机辅助验证论文集（CAV’97）。1997
[6] Sagonas K、Swift T、Warren D.XSB是一个高效的演绎数据库引擎。参见：SIGMOD 1994年会议记录。纽约：ACM；1994.; Sagonas K、Swift T、Warren D.XSB是一个高效的演绎数据库引擎。参见：SIGMOD 1994年会议记录。纽约：ACM；1994
[7] Ramakrishnan CR、Dawson S、Warren D。使用通用逻辑编程系统的实用程序分析：案例研究。在：ACM编程语言的设计和实现过程中。1996.; Ramakrishnan CR、Dawson S、Warren D。使用通用逻辑编程系统的实用程序分析：案例研究。在：ACM编程语言的设计和实现过程中。1996
[8] 科迪什，M。；Demoen，B。；Sagonas，K.，《使用XSB对基于逻辑的语言进行基于语义的程序分析》，《国际技术转让软件工具杂志》，2，1，29-45（1998），（Springer）·Zbl 1060.68568号
[9] Chen，W。；斯威夫特，T。；Warren，D.，《基于良好语义的高效自顶向下查询计算》，《逻辑编程杂志》，24，3，161-199（1995）·Zbl 0866.68017号
[10] Tamaki H，Sato T.OLD分辨率与制表。参加：逻辑编程国际会议。1986年，第84-98页。；Tamaki H，Sato T.OLD分辨率与制表。参加：逻辑编程国际会议。1986年，第84-98页·Zbl 0607.68072号
[11] Chen，W。；Warren，D.S.，《一般逻辑程序的表式延迟评估》，美国计算机学会期刊，43，1，20-74（1996）·Zbl 0882.68050号
[12] XSB系统\（\langle；\）网址：http://www.sourceforge.net\（\rangle；\）；XSB系统\（\langle；\）网址：http://www.sourceforge.net\（\rangle；\）
[13] Bol，R.N。；Degerstedt，L.，有充分依据的语义的表格解析，逻辑编程杂志，34，2，67-109（1998）·Zbl 0905.68024号
[14] 沈毅。；袁，L。；你，J。；周，N.，基于序言控制策略的线性表分解，逻辑编程理论与实践，1，1，71-103（2001）·Zbl 1090.68533号
[15] Freire J、Swift T、Warren DS。超越深度优先策略：通过替代调度改进表格逻辑程序。函数与逻辑编程杂志。1998; (3). （麻省理工学院出版社）。；Freire J、Swift T、Warren DS。超越深度优先策略：通过替代调度改进表格逻辑程序。函数与逻辑编程杂志。1998; (3). （麻省理工学院出版社）·Zbl 0924.68054号
[16] Castro L、Swift T、Warren DS。暂停和恢复SLG解析引擎中的计算。在：声明语言的实用方面。计算机科学课堂讲稿，第2257卷。柏林：施普林格；2002.; Castro L、Swift T、Warren DS。暂停和恢复SLG解析引擎中的计算。在：声明语言的实用方面。计算机科学课堂讲稿，第2257卷。柏林：施普林格；2002
[17] Demen B，Sagonas K.CHAT：复制-混合的方法。在：声明语言的实用方面。计算机科学课堂讲稿，第1551卷。德克萨斯州，柏林：施普林格；1999年1月。第106-21页。；Demoen B，Sagonas K.CHAT：制表的复制混合方法。在：声明语言的实用方面。计算机科学课堂讲稿，第1551卷。德克萨斯州，柏林：施普林格；1999年1月。第106-21页。
[18] Schmidt，D.，《指称语义学：语言发展的方法论》（1986），W.C.Brown Publishers
[19] Guo H-F，Gupta G.基于备选方案的动态重新排序实现表逻辑编程系统的简单方案。参加：逻辑编程国际会议。2001年，第181-96页。；Guo H-F，Gupta G.基于备选方案的动态重新排序实现表逻辑编程系统的简单方案。参加：逻辑编程国际会议。2001年，第181-96页·兹比尔1053.68531
[20] Silva C，Rocha R，Lopes R.在序言中实现线性表的外部模块。参加：逻辑编程国际会议。2006年，第429-30页。；Silva C，Rocha R，Lopes R.在序言中实现线性表的外部模块。参加：逻辑编程国际会议。2006年，第429-30页·Zbl 1131.68399号
[21] Zhou N-F，Sato T.线性表中的有效不动点计算。参见：PPDP会议记录。柏林：施普林格；2003年，第275-83页。；Zhou N-F，Sato T.线性表中的有效不动点计算。参见：PPDP会议记录。柏林：施普林格；2003年，第275-83页。
[22] Swift T，Warren DS。SLG解析的抽象机器：确定程序。SLP。1994: 633-52.; Swift T，Warren DS。SLG解析的抽象机器：确定程序。SLP。1994: 633-52.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。