On the implementation of gnu prolog

Authors:
Daniel Diaz;Salvador Abreu;Philippe Codognet
Affiliations:
University of paris 1, 90 rue de tolbiac, 75013 paris, france (e-mail: daniel.diaz@univ-paris1.fr);Universidade de Évora and centria fct/unl, largo dos colegiais 2, 7004-516 Évora, portugal (e-mail: spa@di.uevora.pt);Jfli, cnrs, university of tokyo, tokyo, japan (e-mail: philippe.codognet@lip6.fr)
Venue:
Theory and Practice of Logic Programming - Prolog Systems
Year:
2012

Citing 13
Cited 4

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Warren's abstract machine: a tutorial reconstruction

Warren's abstract machine: a tutorial reconstruction
High-Performance Logic Programming with the Aquarius Prolog Compiler

Computer
A minimal extension of the WAM for clp(FD)

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Native code compilation in SICStus Prolog

Proceedings of the eleventh international conference on Logic programming
Multiple Specialization of WAM Code

PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
XSB: A System for Effciently Computing WFS

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A Portable and Efficient Implementation of KL1

PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Design, Implementation, and Evaluation of the Constraint Language cc(FD)

Selected Papers from Constraint Programming: Basics and Trends
C-: A Portable Assembly Language

IFL '97 Selected Papers from the 9th International Workshop on Implementation of Functional Languages
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
On applying or-parallelism and tabling to logic programs

Theory and Practice of Logic Programming
Linear tabling strategies and optimizations

Theory and Practice of Logic Programming

Indexical-Based Solver Learning

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A generator of efficient abstract machine implementations and its application to emulator minimization

ICLP'05 Proceedings of the 21st international conference on Logic Programming
The finite domain constraint solver of SWI-Prolog

FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Tor: extensible search with hookable disjunction

Proceedings of the 14th symposium on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

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.