×
维托尔·桑托斯·科斯塔；里卡多·罗查；路易斯·达马斯

YAP序言系统。 （英语） 兹伯利1244.68017

理论与实践。日志。程序。 12，编号1-2，5-34（2012）.
概要：另一个Prolog（YAP）是一个最初开发于80年代中期的Prolog系统，自那时以来一直在不断开发。本文介绍了YAP系统的总体结构和设计，重点介绍了对逻辑编程社区的三个重要贡献。首先，它描述了YAP中用于实现高效Prolog引擎的主要技术。其次，大多数逻辑编程系统都有一个相当有限的索引算法。YAP通过提供动态索引机制或实时索引器对此做出了贡献。第三，YAP系统的一个重要贡献是在单个逻辑编程系统中集成了或并行和表。

引用于25文件

MSC公司：

68N17号 逻辑编程
68甲15 编程语言理论

关键词：

序言；逻辑程序设计系统

软件：

序言；YAP-序言；SWI-预测；SICStus公司
PDF格式BibTeX公司 XML格式引用
\textit{V.S.Costa}等人，《理论与实践》。日志。程序。12、编号1--2、5--34（2012；Zbl 1244.68017）
全文： DOI程序

参考文献：

[1] DOI:10.1016/S0743-1066（96）00064-7·Zbl 0877.68022号 ·doi:10.1016/S0743-1066（96）00064-7
[2] 塔劳，第六届编程语言实现和逻辑编程国际研讨会论文集，PLILP 1994，第73页–（1994）
[3] Somogyi，声明性语言实践方面国际研讨会论文集，第150页–（2006年）
[4] 卡马乔，第四届归纳逻辑编程国际研讨会论文集，第273页–（1994年）
[5] Kimmig，《第24届逻辑编程国际会议论文集》，ICLP 2008第175页–（2008）
[6] Simon，《第22届逻辑编程国际会议论文集》，ICLP 2006年第330页–（2006）
[7] 内政部：10.1145/316686.316688·数字对象标识代码：10.1145/316686.316688
[8] 赫尔梅内吉尔多，《并发、图形和模型》，《在乌戈·蒙塔纳里65岁生日之际献给他的散文》，第209页–（2008）
[9] Schrijvers，《第24届逻辑编程国际会议论文集》，ICLP 2008第9页–（2008）
[10] Benton，第九届国际ACM SIGPLAN声明性编程原则与实践会议记录，第13页–（2007年）
[11] Schimpf，第二届NACLP逻辑编程架构和实现研讨会（1990年）
[12] Beer，并行Prolog机器的概念、设计和性能分析（1989）·Zbl 0696.68008号 ·doi:10.1007/3-540-52053-8
[13] DOI:10.1002/spe.896·Zbl 05647432号 ·doi:10.1002/spe.896
[14] 佐藤，《人工智能研究杂志》，第15页，391页–（2001年）
[15] 内政部：10.3115/991365.991453·电话：10.3115/991365.991453
[16] Filgueiras，Prolog pp 250的实施–（1984）
[17] 内政部：10.1007/BF01397627·doi:10.1007/BF01397627
[18] 内政部：10.1145/291889.291897·Zbl 01935535号 ·电话：10.1145/291889.291897
[19] Devitt，W3C互操作性规则语言研讨会论文集（2005年）
[20] Roy，IEEE Computer 25，第54页–（1992）
[21] DOI:10.1017/S1471068404002030·Zbl 1093.68021号 ·doi:10.1017/S1471068404002030
[22] Demoen，计算逻辑国际会议论文集——CL 2000 pp 1240–（2000）·doi:10.1007/3-540-44957-483
[23] 罗查，《逻辑编程国际会议论文集》，第250页–（2005年）
[24] Rocha，第16届国际并行和分布式处理研讨会（IPPDPS）会议记录，第51页–（2002）
[25] 内政部：10.1145/199448.199509·doi:10.1145/199448.199509
[26] 内政部：10.1007/3-540-48159-1_13·doi:10.1007/3-540-48159-1_13
[27] 罗查，《声明性语言实践方面国际研讨会论文集》，第155页–（2007年）
[28] da Silva，《第23届逻辑编程国际会议论文集》，ICLP 2007年第410页–（2007）
[29] 罗查，逻辑编程国际会议记录第427页–（2006）
[30] Costa，《第23届逻辑编程国际会议论文集》，第305页–（2007年）
[31] 内政部：10.1007/978-3-540-74782-6_11·Zbl 05314990号 ·doi:10.1007/978-3-540-74782-6_11
[32] 内政部：10.1007/978-3-540-78652-8_6·Zbl 1137.68342号 ·doi:10.1007/978-3-540-78652-86
[33] 内政部：10.1007/s10994-006-5833-1·Zbl 1470.68221号 ·doi:10.1007/s10994-006-5833-1
[34] Costa，TPLP 10第4页–（2010年）
[35] DOI:10.1016/S0743-1066（98）10013-4·Zbl 0911.68033号 ·doi:10.1016/S0743-1066（98）10013-4
[36] 周，第七届逻辑程序设计国际会议论文集，第158页–（1990）
[37] 周，第23届逻辑程序设计国际会议论文集，ICLP 2007，第455页–（2007）
[38] Costa，《人工智能进展》，第14届葡萄牙人工智能会议，EPIA 2009，第126页–（2009）
[39] Costa，《第24届逻辑编程国际会议论文集》，ICLP 2008第1页–（2008）
[40] Pereira，C-Prolog 1.5用户手册（1987）
[41] Costa，第九届声明性语言实践方面国际研讨会论文集，PADL 2007，第185页-（2007）
[42] Costa，《1999年PPDP会议录》，第261页–（1999）
[43] 《机器学习研究杂志》第4页，第415页–（2003年）
[44] Wielemaker，《第七届国际语义网会议论文集》，ISWC 2008，第695页-（2008）·Zbl 05376299号 ·doi:10.1007/978-3-540-88564-1_44
[45] Nugues，《Perl和Prolog语言处理导论：理论、实现和应用概述，特别考虑英语、法语和德语（认知技术）》（2006）·Zbl 1096.68157号
[46] Wielemaker，SWI-Prolog 5.9.9：参考手册（2010）
[47] 内政部：10.1145/154766.155362·数字对象标识代码：10.1145/154766.155362
[48] NässéN，第三届国际ACM SIGPLAN声明性编程原则和实践会议记录第49页–（2001）
[49] Wielemaker，《第19届逻辑编程国际会议论文集》，ICLP 2003第331页–（2003）
[50] 内政部：10.1007/978-3-540-77442-6_14·Zbl 05243245号 ·doi:10.1007/978-3-540-77442-6_14
[51] 蒙格尔，《第25届逻辑编程国际会议论文集》，ICLP 2009第1页–（2009）
[52] Warren，抽象序言指令集（1983）
[53] 莫拉莱斯，第十届国际ACM SIGPLAN声明性编程原则与实践会议记录第32页–（2008）
[54] Vaz，《第25届逻辑编程国际会议论文集》，ICLP 2009第372页–（2009）
[55] 卡斯特罗，《第17届逻辑程序设计国际会议论文集》，ICLP 2001年第11页–（2001）
[56] Meier，《1990年北美逻辑编程会议论文集》，第63页–（1990）
[57] Vandeginste，TPLP 7，第505页–（2007年）
[58] 卡尔森，SICStus Prolog用户手册（1988）
[59] 玛丽安，《1991年逻辑编程国际研讨会论文集》，第257页–（1991）
[60] Marién，北美逻辑编程会议记录第1030页–（1989）
[61] Tronçon，TPLP 7第481页–（2007年）
[62] 内政部：10.1137/0201010·Zbl 0251.05107号 ·数字对象标识代码：10.1137/0201010
[63] 卡尔森，《第四届逻辑编程国际会议论文集》第40页–（1987）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。