序言 swMATH ID: 6518 软件作者: 丹尼尔·迪亚兹 说明: GNU Prolog是一个免费的Prolog编译器,可以在有限域上求解约束,由Daniel Diaz开发。GNU Prolog接受Prolog+约束程序并生成本地二进制文件(就像gcc从C源代码中所做的那样)。然后,获得的可执行文件是独立的。这个可执行文件的大小可能非常小,因为GNU Prolog可以避免链接大多数未使用的内置谓词的代码。GNU Prolog的性能非常令人鼓舞(与商业系统相比)。除了本机代码编译之外,GNU Prolog还提供了一个带有调试器的经典交互式解释器(顶级)。Prolog部分符合Prolog的ISO标准,具有许多在实践中非常有用的扩展(全局变量、操作系统接口、套接字等)。GNU Prolog还包括一个高效的有限域约束求解器(FD)。这为用户打开了约束逻辑编程的大门,将约束编程的威力与逻辑编程的声明性结合起来。 主页: http://www.gprolog.org/ 关键词: 序言;逻辑程序设计系统;GNU(全球导航单元);国际标准化组织;瓦姆;本机代码编译;有限域约束;编译器;调试器 相关软件: SICStus公司;SWI序言;炸薯条;XSB公司;wamcc公司;B-序言;Ciao公司;clpfd公司;YAP Prolog公司;Twelf公司;重新规范;tuProlog公司;2百万吨;GHC公司;棱镜;项目B;斯莫德尔斯;水银;探测日志;CiaoPP公司 引用于: 58文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 关于GNU Prolog的实现。 Zbl 1244.68018号丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;菲利普·科多涅特 2012 全部的 前5名114位作者引用 三 菲利普·科多涅特 三 丹尼尔·迪亚兹 三 安东尼奥·J·费尔南德斯。 三 曼努埃尔五世(Manuel V.Hermenegildo)。 三 何塞·弗朗西斯科·莫拉莱斯 2 萨尔瓦多阿布雷乌 2 曼纽尔·卡罗 2 维托尔·桑托斯·科斯塔 2 卡洛斯·科塔。 2 米雷尔·杜卡斯 2 葛维,卡门 2 皮埃尔·M·努格。 2 佩特尔·塞雷迪 2 马库斯·特里斯卡 1 萨默尔·阿卜杜拉。 1 迈克尔·阿恩特泽尼乌斯 1 塞巴斯蒂安·巴丁 1 克里斯托夫·贝尔 1 克里斯托夫·比西埃 1 伊贡博格尔 1 麦克斯,布雷默 1 Cheng,Chi Kan先生 1 乔瓦尼·西亚托 1 马蒂奥·奇米尼 1 约翰·杰拉尔德·克利里 1 伯托尔德·克里斯曼 1 维罗妮卡·达尔 1 路易斯·达马斯 1 奥利维尔·丹维 1 吕克·德·雷德 1 拉斐尔·德尔瓦多·维塞达 1 巴特·德梅恩 1 马克·德纳克 1 皮埃尔·德兰萨特 1 德索特,贝诺特 1 伊万·多图 1 阿戈斯蒂诺·多维尔 1 弗朗索瓦·法赫斯 1 艾米·费尔蒂(Amy P.Felty)。 1 玛丽贝尔·费尔南德斯 1 安德烈亚·福米萨诺 1 保罗·弗雷斯科尼 1 Dov M.加巴伊。 1 玛丽安娜·吉兰多 1 戈德,尼古拉斯 1 伯恩德·格罗鲍尔 1 戈帕尔·古普塔 1 雷米·海默尔 1 菲利普·赫尔曼 1 Hortalá-González,特蕾莎 1 肯里奥·印多 1 菲利普·科纳 1 尼拉坎坦·R·克里希纳斯瓦米。 1 彼得·库利基 1 卡尔·雷纳·朗 1 卢多维奇·朗之万 1 李,吉米·霍曼 1 Michael Leuschel先生 1 Li,西宁 1 Chuck Liang先生 1 刘永梅 1 乔治·卢格。 1 弗雷德里克·梅尔 1 艾伦·马斯登 1 马丁内斯,蒂埃里 1 詹姆斯·摩尔(James C.Moore)。 1 法滕·纳布利 1 戈帕兰·纳达图尔 1 唐纳德·纳特(Donald E.Nute)。 1 大佐,Nobuyasu 1 Okuno,Hiroshi G。 1 尼古拉·奥利维蒂 1 弗朗西斯科·奥西尼 1 大津、大佐 1 巴兹尔·帕帕佐普洛斯。 1 弗洛里安·佩鲁德 1 恩里科·蓬泰利 1 吉安·卢卡(Gian Luca),披萨 1 热尔曼普埃布拉 1 齐晓初 1 乌韦·雷尔 1 莫滕·里格尔 1 里卡多·罗查 1 安德鲁·萨德勒 1 内达·赛德洛伊 1 费尔南多·Sáenz-Pérez 1 汤姆·施里杰弗斯 1 克里斯蒂安·舒尔特 1 卡米拉·施温德。 1 迪米特里斯·斯菲利斯。 1 斯诺,扎卡里 1 西尔万·索利曼 1 佐尔坦·索莫吉 1 卢茨斯特拉汉堡 1 威廉·斯塔布菲尔德(William A.Stubblefield)。 1 彼得·詹姆斯·斯塔基 1 彼得·萨博 1 高原雅彦 1 井内一郎 1 保罗·塔劳 …还有14位作者 全部的 前5名23篇连载文章中引用 7 逻辑程序设计理论与实践 三 新一代计算 三 计算经济学 三 约束条件 2 自动推理杂志 2 认知技术 1 国际通用系统杂志 1 控制论学报 1 合成 1 计算机程序设计科学 1 逻辑程序设计杂志 1 国际并行程序设计杂志 1 计算的形式方面 1 吉泰。实验与理论人工智能杂志 1 启发式杂志 1 软计算 1 函数与逻辑程序设计杂志 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 应用数学科学(俄语) 1 计算机科学本科专题 1 Berichte aus der Mathematik公司 全部的 前5名10个领域引用 51 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 运筹学、数学规划(90-XX) 2 总体主题;集合(00-XX) 2 统计学(62-XX) 1 组合数学(05-XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文