wamcc公司 swMATH ID: 6519 软件作者: 丹尼尔·迪亚兹 描述: WAMCC是一个基于WAM的Prolog to C编译器。它或多或少符合爱丁堡标准,包括大多数常用的内置谓词、顶级谓词、Prolog调试器和WAM调试器。WAMCC设计为易于扩展(例如,见clp(FD))。WAMCC的速度介于模拟的SICStus和Sparc上的SICStus本机代码之间(分别快1.5倍和慢1.5倍)。 主页: http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/wamcc/0.html 关键词: WAM公司;Prolog公司;C类;编译器;程序设计语言 相关软件: Prolog公司;水银;SICStus公司;CiaoPP公司;Ciao公司;GHC公司;帕洛;棱镜;github;炸薯条;SWISH数据实验室;重新规范;tuProlog公司;中国科学院科学院;clpfd公司;HYPROLOG公司;ProB公司;萨奇莫;斯莫德尔斯;格林戈 引用于: 12文件 全部的 前5名21位作者引用 4 丹尼尔·迪亚兹 三 菲利普·科多涅特 三 曼努埃尔五世(Manuel V.Hermenegildo)。 三 何塞·弗朗西斯科·莫拉莱斯 三 佐尔坦·索莫吉 2 萨尔瓦多阿布雷乌 2 曼纽尔·卡罗 2 弗格斯·亨德森 1 乔瓦尼·西亚托 1 托马斯·奥利弗康威 1 维托尔·桑托斯·科斯塔 1 维罗妮卡·达尔 1 阿布巴卡尔·哈桑 1 蒂莫西·希基。 1 菲利普·科纳 1 Michael Leuschel先生 1 李西宁 1 伊恩·麦基 1 佐藤、新亚 1 彼得·C·王。 1 Wielemaker,简 3篇连载文章中引用 三 逻辑编程杂志 三 逻辑程序设计理论与实践 2 函数与逻辑程序设计杂志 在1个字段中引用 12 计算机科学(68至XX) 按年份列出的引文