丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;菲利普·科多涅特 关于GNU Prolog的实现。 (英语) Zbl 1244.68018号 理论与实践。日志。程序。 12,编号1-2,253-282(2012). 概述:GNU Prolog是Prolog语言的一个通用实现,它与大多数其他系统的区别在于,它首先是一个本机代码编译器,它生成独立的可执行文件,不依赖任何字节码仿真器或元解释器。其他突出的方面包括在Unix编译器传统中,Prolog系统作为多路径编译器的显式组织,其中实现了中间表示。GNU Prolog还包括一个可扩展的高性能有限域约束求解器,与Prolog语言集成,但使用独立的低级别机制实现。本文讨论了设计和实现GNU Prolog所涉及的主要问题:需求、系统组织、性能和可移植性问题,以及它相对于其他Prolog系统实现和ISO标准化倡议的位置。 引用于三文件 MSC公司: 68N17号 逻辑编程 68N20型 编译与解释理论 关键词:序言;逻辑程序设计系统;全球导航卫星系统;国际标准化组织;WAM公司;本机代码编译;有限域约束 软件:序言;wamcc公司;有限责任公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Diaz}等人,《理论与实践》。日志。程序。12、编号1--2、253--282(2012;Zbl 1244.68018) 全文: 内政部 arXiv公司 参考文献: [1] 古德曼,逻辑编程联合国际会议和研讨会(1992年) [2] 费雷拉,PADL第243页–(1999) [3] 周,TPLP 8第81页–(2008) [4] 内政部:10.1109/2.108055·Zbl 05087214号 ·数字对象标识代码:10.1109/2.108055 [5] Van Hentenryck,约束编程第293页–(1994) [6] da Silva,《通用计算机科学杂志》,第12页,764页–(2006) [7] Haygood,《第十一届逻辑编程国际会议论文集》第190页(1994年) [8] 曾俊华,《约束满足的基础》(1993) [9] Rocha,TPLP 5,第161页–(2005年) [10] Chikayama,PLILP第25页–(1994) [11] Jones,《函数语言的实现》第1页–(1997) [12] 艾特·卡奇,《沃伦的抽象机器:教程重建》(1991) [13] Abreu,ICLP第128页–(2003) [14] DOI:10.1016/0743-1066(95)00121-2·Zbl 0874.68054号 ·doi:10.1016/0743-1066(95)00121-2 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。