YAP-序言 swMATH ID: 6948 软件作者： Vítor Santos Costa、Luís Damas、Rogério Reis、Rúben Azevedo 描述： YAP序言系统。另一个Prolog（YAP）是一个最初于80年代中期开发的Prolog系统，自那时以来一直在不断开发。本文介绍了YAP系统的总体结构和设计，重点介绍了对逻辑编程社区的三个重要贡献。首先，它描述了YAP中用于实现高效Prolog引擎的主要技术。其次，大多数逻辑编程系统都有一个相当有限的索引算法。YAP通过提供动态索引机制或实时索引器对此做出了贡献。第三，YAP系统的一个重要贡献是在单个逻辑编程系统中集成了或并行和表。 主页： http://www.dcc.fc.up.pt/~vsc/Yap/ 相关软件： XSB公司；ProbLog（问题日志）；SWI-预测；B-Prolog公司；SICStus公司；阿勒夫；CiaoPP公司；Ciao公司；OPTYap公司；YapOr公司；序言；皮塔；GHC公司；帕洛；斯莫德尔斯；DASWAM公司；Potassco公司；棱镜；github；clpfd公司 引用于： 48文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 YAP序言系统。 Zbl 1244.68017号维托尔·桑托斯·科斯塔；里卡多·罗查；路易斯·达马斯 2012 YAP编译器的设计和实现：逻辑编程语言的优化编译器。 Zbl 1131.68408号安德森·福斯蒂诺·达席尔瓦；维托尔·桑托斯·科斯塔 2006 全部的 前5名86位作者引用 12 维托尔·桑托斯·科斯塔 9 里卡多·罗查 5 汤姆·施里杰弗斯 4 巴特·德梅恩 三 埃琳娜·贝洛迪 三 吕克·德·雷德 三 德索特，贝诺特 三 曼努埃尔五世（Manuel V.Hermenegildo）。 三 恩里科·蓬泰利 三 法布里西奥·里古齐 三 Swift，Terrance公司 三 Wielemaker，简 2 尼科斯·安杰洛普洛斯 2 米盖尔·阿雷亚斯 2 曼纽尔·卡罗 2 陈建忠 2 戈帕尔·古普塔 2 安吉丽卡·基米格 2 Michael Leuschel先生 2 曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos） 2 史蒂芬·H·马格尔顿。 2 亚历山德拉·拉索。 2 桑托斯，何塞·卡洛斯·阿尔梅达 2 亚历山大·范登布鲁克 2 沃伦、大卫·斯科特 1 萨默尔·阿卜杜拉。 1 萨尔瓦多阿布雷乌 1 华金·阿里亚斯 1 罗伯特·巴格纳拉 1 布罗达，Krysia B。 1 阿马迪奥·卡萨斯 1 路易斯·费尔南多·卡斯特罗 1 巴勃罗·奇科·德古兹曼 1 乔瓦尼·西亚托 1 多梅尼科·科尔皮 1 曼努埃尔·爱德华多·科雷亚 1 法布里西奥·科斯塔 1 朱塞佩·科塔 1 安德鲁·克洛珀 1 崔宝秋 1 詹姆斯·库森 1 安德森·福斯蒂诺·达席尔瓦 1 维罗妮卡·达尔 1 路易斯·达马斯 1 库尔特·德·格雷夫 1 迪毛罗，尼古拉 1 丹尼尔·迪亚兹 1 阿戈斯蒂诺·多维尔 1 杜特拉，因斯 1 桑德罗·埃塔利 1 马里奥弗洛里多 1 安德烈亚·福米萨诺 1 保罗·弗雷斯科尼 1 玛丽亚·加西亚·德拉班达 1 盖尔·乌斯，大卫 1 乔治奥斯·贾马斯 1 罗伯塔·戈里 1 郭海峰 1 有，克里斯蒂安·泰尔 1 帕特里夏·M·希尔。 1 浩史细部 1 杰尔达·詹森斯 1 迈克尔·基弗 1 菲利普·科纳 1 法律，Mark M。 1 梁森林 1 林继姿 1 埃米尔·卢普 1 马洁菲 1 何塞·弗朗西斯科·莫拉莱斯 1 保罗·莫拉 1 阿琳·佩斯 1 佩奇，大卫·L。 1 马西耶·皮罗格 1 肯·佐藤 1 蒂亚戈·苏亚雷斯 1 马库斯·特里斯卡 1 特鲁什琴斯基，米洛斯奥 1 马克·范·杜伦 1 凯伦·维拉弗德 1 吴绍义 1 埃纳州扎法内拉 1 格尔森·扎维鲁查 1 里卡多·泽斯 1 张华明 1 周能发 全部的 前5名8篇连载文章中引用 21 逻辑程序设计理论与实践 4 机器学习 2 人工智能 2 国际近似推理杂志 2 计算机科学课堂讲稿 1 现代物理快报B 1 计算机程序设计科学 1 信息与计算 全部的 前5名在6个字段中引用 47 计算机科学（68至XX） 2 总体主题；集合（00-XX） 2 生物学和其他自然科学（92-XX） 1 统计学（62-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文