序言

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


zbMATH参考文献(参考,1标准件)

显示68个结果中的1到20个。
按年份排序(引用)
  1. 巴赫曼,彼得:数理逻辑(2020)
  2. Abdallah,Samer;Gold,Nicolas;Marsden,Alan:用概率语法分析符号音乐(2016)
  3. Arntzenius,Michael;Krishnaswami,Neelakantan R.:Datafun:功能数据日志(2016)
  4. Nabli,Faten;Martinez,Thierry;Fages,François;Soliman,Sylvain:关于使用CLP和SAT解算器在Petri网中枚举最小信标:理论和实践复杂性(2016)
  5. 核心编程:Franc Ra Economing;Rocar-De-Prolog;2016
  6. Triska,Markus:SWI prolog的布尔约束求解器(系统描述)(2016)
  7. 玛丽贝尔:编程语言和操作语义学。简明概述(2014)
  8. Nugues,Pierre M.:用Perl和Prolog进行语言处理。理论、实施与应用(2014)
  9. Tom Schrijvers;Demoen,Bart;Triska,Markus;Desoert,Benoit:\ textscTor:带可挂接析取的模块化搜索(2014)
  10. Bramer,Max:Prolog逻辑编程(2013)
  11. 科斯塔,Vítor Santos;Rocha,Ricardo;Damas,Luís:YAP-prolog系统(2012)
  12. Philippe Prologu,萨尔瓦多,2012年版;Philip Prologu,萨尔瓦多
  13. Morales,Jose F.;Haemmerlé,Rémy;Carro,Manuel;Hermenegildo,Manuel V.:(C)LP到JavaScript的轻量级编译(2012)
  14. Saeedloei,Neda;Gupta,Gopal:共归纳约束逻辑编程(2012)
  15. Sfiris,D.S.;Papadopoulos,B.K.:专家系统中的模糊估计器(2012)
  16. 保罗.塔鲁:BinProlog体验:延续传递Prolog和一流逻辑引擎的架构和实现选择(2012)
  17. 有限域求解器MarkTrisus 2012ioport公司
  18. Zombori,Zsolt;Szeredi,Péter:循环消除,PTTP相关定理证明的优化技术(2012)
  19. Wang,Peter;Somogyi,Zoltan:最小化依赖和并行的开销(2011)
  20. Bardin,Sébastien;Herrmann,Philippe;Perroud,Florian:位向量基于SAT方法的替代方案(2010)