Computer Science – Programming Languages
Scientific paper
2010-12-11
Computer Science
Programming Languages
30 pages, 3 figures, To appear in Theory and Practice of Logic Programming (TPLP); Keywords: Prolog, logic programming system,
Scientific paper
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 standalone executables which don't rely on any byte-code 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 article 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.
Abreu Salvador
Codognet Philippe
Diaz Daniel
No associations
LandOfFree
On the Implementation of GNU Prolog does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On the Implementation of GNU Prolog, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Implementation of GNU Prolog will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-636691