软件搜索-zbMATH Open

B-序言

swMATH ID:	6949
软件作者：	Afany软件
描述：	B-Prolog是标准Prolog语言的高性能实现，具有多个扩展功能，包括匹配子句、事件处理的操作规则、有限域约束求解、数组和哈希表、声明性循环和制表。在Wiki上阅读更多信息。
主页：	http://www.picat-lang.org/bprolog/
关键词：	序言;逻辑程序设计系统
相关软件：	XSB公司;YAP-序言;SICStus公司;SWI序言;烟雾;Ciao公司;OPTYap公司;序言;迷你锌;Gecode公司;LPaaS公司;GHC公司;帕洛;CiaoPP公司;重新规范;tuProlog公司;clpfd公司;ProbLog（问题日志）;2百万吨;锌
引用于：	18文件

5	汤姆·施里杰弗斯
3	德索特，贝诺特
2	巴特·德蒙
2	曼努埃尔五世（Manuel V.Hermenegildo）。
2	尤利亚·利勒
2	里卡多·罗查
2	霍斯特·萨穆洛维茨
2	彼得·詹姆斯·斯塔基
2	塔克，吉多
2	皮特·维尔
2	周能发
1	萨尔瓦多阿布雷乌
1	斯特凡诺·阿尔维西
1	米盖尔·阿雷亚斯
1	马塞洛·巴尔杜奇尼
1	费德里科·伯根蒂
1	马西米利亚诺·卡塔菲
1	乔瓦尼·西亚托
1	维托尔·桑托斯·科斯塔
1	维罗妮卡·达尔
1	亚历山德罗·达尔·帕洛
1	丹尼尔·迪亚兹
1	阿戈斯蒂诺·多维尔
1	安德烈亚·福米萨诺
1	马可·弗朗西尼
1	藤田，广岛
1	玛丽亚·加西亚·德拉班达
1	马可·加瓦内利
1	戈帕尔·古普塔
1	长谷川龙子
1	有，克里斯蒂安·泰尔
1	菲利普·科纳
1	宫崎骏小村
1	Michael Leuschel先生
1	何塞·弗朗西斯科·莫拉莱斯
1	马达莱娜·诺纳托
1	马西耶·皮罗格
1	恩里科·蓬泰利
1	法布里西奥·里古齐
1	吉安弗兰科·罗西
1	本杰明·苏斯曼
1	Swift，Terrance公司
1	马库斯·特里斯卡
1	马克·范·杜伦
1	亚历山大·范登布鲁克
1	沃伦、大卫·斯科特
1	Wielemaker，简

16	计算机科学（68至XX）
2	运筹学、数学规划（90-XX）