序言

GNU-Prolog是由danieldiaz开发的一个自由Prolog编译器,具有有限域上的约束求解功能。gnuprolog接受Prolog+约束程序并生成本机二进制文件(就像gcc从C源代码执行的那样)。然后获得的可执行文件是独立的。这个可执行文件的大小可以非常小,因为gnuprolog可以避免链接大多数未使用的内置谓词的代码。GNU-Prolog的性能非常令人鼓舞(与商业系统相当)。除了本地代码编译之外,gnuprolog还提供了一个带有调试器的经典交互式解释器(顶层)。Prolog部分符合ISO标准,Prolog有很多在实践中非常有用的扩展(全局变量、OS接口、sockets等等)。GNU-Prolog还包括一个有效的有限域约束求解器(FD)。这将约束编程的能力与逻辑编程的声明性结合起来,为用户打开了约束逻辑编程的大门。


zbMATH中的参考文献(参考文献69条,1标准件)

显示第1到第20个结果,共69个。
按年份排序(引用)
  1. 巴赫曼,彼得:数理逻辑(2020)
  2. 库利基,皮奥特;罗伯特特特鲁兹:根据表面上的职责判断行为。自动驾驶汽车案例(2019年)
  3. 撒母耳,阿卜杜拉;戈尔德,尼古拉斯;Marsden,Alan:用概率语法分析符号音乐(2016)
  4. 阿恩泽尼乌斯,迈克尔;Krishnaswami,Neelakantan R.:Datafun:功能数据日志(2016)
  5. 纳布利,法顿;马丁内斯,蒂埃里;费格斯,弗兰çois;Soliman,Sylvain:关于使用CLP和SAT解算器在Petri网中枚举最小信标:理论和实践复杂性(2016)
  6. 奥西尼,弗朗西斯科;弗拉斯科尼,保罗;De Raedt,Luc:kProbLog:用于内核编程的代数Prolog(2016)
  7. Triska,Markus:SWI prolog的布尔约束求解器(系统描述)(2016)
  8. 蕨类植物ández,Maribel:编程语言和操作语义。简明概述(2014)
  9. Nugues,Pierre M.:用Perl和Prolog进行语言处理。理论、实施与应用(2014)
  10. 施里杰弗斯,汤姆;德蒙,巴特;特里斯卡,马库斯;Desouter,Benoit:\textscTor:带可挂接分离的模块化搜索(2014)
  11. Bramer,Max:Prolog逻辑编程(2013)
  12. 科斯塔,Ví托尔桑托斯;罗查,里卡多;大马,卢ís: YAP prolog系统(2012)
  13. 迪亚兹,丹尼尔;萨尔瓦多阿布鲁;Codognet,Philippe:关于GNU Prolog的实现(2012)
  14. 莫拉莱斯,何塞F。;海默尔é, Ré我的;卡罗,曼纽尔;Hermenegildo,Manuel V.:(C)LP到JavaScript的轻量级编译(2012)
  15. 塞德洛伊,内达;古普塔,戈帕尔:共归纳约束逻辑编程(2012)
  16. 斯菲里斯,D。S、 。;帕帕多普洛斯,B。K、 :专家系统中的模糊估计器(2012)
  17. 保罗.塔鲁:BinProlog体验:延续传递Prolog和一流逻辑引擎的架构和实现选择(2012)
  18. 有限域求解器MarkTrisus 2012ioport公司
  19. 佐姆博里,泽索尔特;塞雷迪,Péter:循环消除,PTTP相关定理证明的优化技术(2012)
  20. 王,彼得;Somogyi,Zoltan:最小化依赖和并行的开销(2011)