序言 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公司;棱镜;ProB公司;斯莫德尔斯;水银;探测日志;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） 按年份列出的引文