丹尼尔·迪亚兹;菲利普·科多涅特 GNU Prolog系统的设计和实现。 （英语） Zbl 1037.68030号 J.功能。日志。程序。 2001年，规范发行。2，第6条，29 p.（2001）. 摘要：本文描述了GNU Prolog系统的设计与实现。该系统借鉴了我们以前在wamcc系统中将Prolog编译为C以及在clp（FD）系统中编译有限域约束的经验。然而，为了克服编译到C语言的缺点，重新设计了编译方案。特别是，GNU-Prolog基于一种低级的小型组装平台相关语言，可以避免编译C代码，从而大大减少编译时间。它还可以在编译过程中生成小型的独立可执行文件。有趣的是，GNU Prolog现在符合ISO标准，包括几个扩展（操作系统接口、套接字、全局变量等），并集成了一个强大的有限域约束求解器。该系统效率高，在性能方面与商业系统在Prolog和约束方面相当。 引用于1文件 MSC公司： 68N17号 逻辑编程 关键词：性能 软件：Prolog公司;wamcc公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Diaz}和\textit{P.Codognet}，J.Funct。日志。程序。2001年，第6条，29页（2001年；Zbl 1037.68030） 全文： 链接