雅普序言 swMATH标识： 6948 软件作者： 维托·桑托斯·科斯塔、路易斯·达马斯、罗格·里奥·赖斯、Rúben Azevedo 说明： YAP-prolog系统。另一个Prolog（YAP）是一个Prolog系统，最初是在80年代中期开发的，从那时起它几乎一直在不断地开发。本文介绍了YAP系统的总体结构和设计，重点介绍了对逻辑编程界的三个重要贡献。首先，介绍了YAP中实现高效Prolog引擎的主要技术。其次，大多数逻辑编程系统都有一个相当有限的索引算法。YAP通过提供动态索引机制（just-in-time indexer）对这一领域做出了贡献。第三，YAP系统的一个重要贡献是在一个单一的逻辑编程系统中集成了or并行和表列。 主页： http://www.dcc.fc.up.pt/~vsc/耶/ 相关软件： XSB公司;ProbLog公司;B-序言;西斯库斯;SWI序言;亚历夫;皮塔;亚波尔;真实的;字符串;普洛斯利特;彭金斯;R;猫;再见;再见;OPTYap公司;麦金太尔;CP逻辑;朋友们 参考文献： 44种出版物 标准条款 2个出版物描述软件，包括2个出版物在zbMATH 年 YAP-prolog系统。 Zbl 1244.68017科斯塔，Vítor Santos;罗查，里卡多;达玛斯，露丝 2012 YAP编译器的设计与实现：一种逻辑编程语言的优化编译器。 Zbl 1131.68408号达席尔瓦，安德森·福斯蒂诺;科斯塔，Vítor Santos 2006 全部的 前5名77位作者引用 10 桑托斯·科斯塔，维托尔 8 罗查，里卡多 4 德蒙，巴特 4 施里杰弗斯，汤姆 三 贝洛迪，埃琳娜 三 德雷特，卢克 三 德苏特，贝诺伊特 三 里古兹，法布里齐奥 三 斯威夫特，泰伦斯 2 安杰洛普洛斯，尼科斯 2 阿瑞亚斯，米格尔 2 卡罗，曼纽尔 2 陈建中 2 金米格，安吉丽卡 2 曼塔德利斯，提奥弗拉斯托斯 2 麻瓜顿，斯蒂芬H。 2 庞泰利，恩里科 2 Russo，Alessandra M。 2 桑托斯，何塞·卡洛斯·阿尔梅达 2 沃伦，大卫·斯科特 2 维莱梅克，简 1 阿卜杜拉，萨默尔A。 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 古普塔，戈帕尔K。 1 有，克里斯蒂安·泰尔 1 赫密尼基尔多，曼努埃尔诉。 1 希尔，帕特里夏·M。 1 和硕、弘石 1 詹森，格达 1 基弗，迈克尔 1 法律，马克·M。 1 鲁舍尔，迈克尔 1 梁先生 1 林季子 1 卢浦，埃米尔 1 妈，洁飞 1 莫拉，保罗 1 帕斯，艾琳 1 佩奇，大卫L。 1 皮罗格，马西耶 1 佐藤，肯 1 苏亚雷斯，蒂亚戈 1 特里斯卡，马库斯 1 特鲁兹钦斯基，米洛斯ław 1 范多伦，马尔科 1 范登布鲁克，亚历山大 1 维拉维德，凯伦 1 吴少义 1 扎法内拉，埃尼亚 1 扎维鲁卡，格森 1 泽斯，里卡多 1 张华明 1 周能发 全部的 前5名在8个系列中引用 19 逻辑程序设计理论与实践 4 机器学习 2 人工智能 2 国际近似推理杂志 2 计算机科学讲义 1 现代物理字母B 1 计算机程序设计学 1 信息与计算 全部的 前5名在6个字段中引用 43 计算机科学（68-XX） 2 一般性和全局性主题；收藏（00-XX） 2 生物学和其他自然科学（92-XX） 1 统计学（62-XX） 1 统计力学，物质结构（82-XX） 1 运筹学，数学规划（90-XX） 按年份引用出版物