Please use this identifier to cite or link to this item: http://hdl.handle.net/10174/6164

Title: On the implementation of GNU Prolog
Authors: Diaz, Daniel
Abreu, Salvador
Codognet, Philippe
Issue Date: 2012
Publisher: Cambridge University Press
Citation: Daniel Diaz, Salvador Abreu, Philippe Codognet: On the implementation of GNU Prolog. TPLP 12(1-2): 253-282 (2012)
Abstract: GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces stand-alone executables which do not rely on any bytecode emulator or meta-interpreter. Other aspects which stand out include the explicit organization of the Prolog system as a multipass compiler, where intermediate representations are materialized, in Unix compiler tradition. GNU Prolog also includes an extensible and high-performance finite-domain constraint solver, integrated with the Prolog language but implemented using independent lower-level mechanisms. This paper discusses the main issues involved in designing and implementing GNU Prolog: requirements, system organization, performance, and portability issues as well as its position with respect to other Prolog system implementations and the ISO standardization initiative.
URI: http://journals.cambridge.org/action/displayAbstract?aid=8477475
http://hdl.handle.net/10174/6164
Type: article
Appears in Collections:INF - Publicações - Artigos em Revistas Internacionais Com Arbitragem Científica

Files in This Item:

File Description SizeFormat
TPLP-published.pdf426.39 kBAdobe PDFView/Open
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Dspace Dspace
DSpace Software, version 1.6.2 Copyright © 2002-2008 MIT and Hewlett-Packard - Feedback
UEvora B-On Curriculum DeGois