Results 11 to 20 of about 29,610 (89)
GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains
, 2021 version 1.5.0GNU Prolog is a general-purpose implementation of the Prolog language. It provides a native-code compiler producing standalone executables which do not rely on any byte-code emulator or meta-interpreter.
Diaz, Daniel
core +1 more source
Comparison of Contrasting Prolog Trace Output Formats [PDF]
, 1997 This paper reports on a comparative study of three Prolog trace packages. 43 students of an introductory Prolog course solved 5 different Prolog programming problems in each of three different conditions (using isomorphic problem variants to disguise ...
Patel, Mukesh J. +5 more
core +1 more source
GNU Prolog: Beyond Compiling Prolog to C
, 2000 International audienceWe describe in this paper the compilation scheme of the GNU Prolog system. This system is built on our previous experience of compiling Prolog to C in wamcc.
Diaz, Daniel, Codognet, Philippe
core +2 more sources
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source
The implementation of GNU Prolog [PDF]
, 2000 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 ...
Salvador Abreu, Daniel Diaz
core
Prolog and expert systems [PDF]
, 1987 The first part of the thesis provides an introduction to the logic programming language Prolog and some areas of current research. The use of compilation to make Prolog faster and more efficient is studied and a modified representation for complex ...
Davies, Peter Leslie
core
Experimenting with independent and-parallel prolog using standard prolog [PDF]
, 1991 This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like
Hermenegildo, Manuel V. +1 more
core +1 more source
Approaches for teaching prolog to beginners [PDF]
, 2006 Prolog is a very different language compared with procedural or object-oriented languages, and developing a Prolog programming mindset is a challenge for many novices.
Joy, Mike +1 more
core
Evaluating Prolog environments [PDF]
, 1988 We outline the progress we have made in connection with the Alvey Grant "Evaluating Prolog Environments" (SERCGRJDJ44287and Alvey IKBS 136). This grant runs for three years from 1st November1985.
Bundy, Alan, Brna, P., Pain, H.
core
A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs [PDF]
, 1992 The searchfor better Prolog debugging environments has taken a number of dif- ferent paths of which three are particularly important: improvements to monitoring tools (notably the TransparentProlog Machine (Eisenstadt & Brayshaw, 1987)),pro- viding ...
Paul Brna +5 more
core +1 more source