×

关于GNU Prolog的实现。 (英语) Zbl 1244.68018号

概述:GNU Prolog是Prolog语言的一个通用实现,它与大多数其他系统的区别在于,它首先是一个本机代码编译器,它生成独立的可执行文件,不依赖任何字节码仿真器或元解释器。其他突出的方面包括在Unix编译器传统中,Prolog系统作为多路径编译器的显式组织,其中实现了中间表示。
GNU Prolog还包括一个可扩展的高性能有限域约束求解器,与Prolog语言集成,但使用独立的低级别机制实现。本文讨论了设计和实现GNU Prolog所涉及的主要问题:需求、系统组织、性能和可移植性问题,以及它相对于其他Prolog系统实现和ISO标准化倡议的位置。

MSC公司:

68N17号 逻辑编程
68N20型 编译与解释理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。