×

雅普序言

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种出版物
全部的 前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 周能发

按年份引用出版物