Results 41 to 50 of about 26,997 (69)
Design and Implementation of the GNU Prolog System
, 2001 Summary: In this paper we describe the design and the implementation of the GNU Prolog system. This system draws on our previous experience of compiling Prolog to C in the wamcc system and of compiling finite domain constraints in the clp(FD) system. The compilation scheme has however been redesigned in order to overcome the drawbacks of compiling to C.
Diaz, Daniel, Codognet, Philippe
openaire +3 more sources
GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains
, 2021 Daniel Díaz
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
SiLCC Is Linear Concurrent Constraint Programming
International Conference on Logic Programming, 2005Rémy Haemmerlé
semanticscholar +2 more sources
International Conference on Logic Programming, 1995
P. Codognet, Daniel Diaz
semanticscholar +1 more source
P. Codognet, Daniel Diaz
semanticscholar +1 more source
InterProlog: Towards a Declarative Embedding of Logic Programming in Java
European Conference on Logics in Artificial Intelligence, 2004Miguel Calejo
semanticscholar +1 more source
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools
ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming, 2003Ludovic Langevine +2 more
semanticscholar +1 more source
Indexical-Based Solver Learning
International Conference on Principles and Practice of Constraint Programming, 2002T. Dao +3 more
semanticscholar +1 more source
A tracer driver for hybrid execution analyses
Automated and Algorithmic Debugging, 2005Ludovic Langevine, M. Ducassé
semanticscholar +1 more source
Interactive problem solving in an intelligent virtual environment
International Conference on Intelligent User Interfaces, 2003C. Calderon, M. Cavazza, Daniel Diaz
semanticscholar +1 more source
Fifty Years of Prolog and Beyond
Theory and Practice of Logic Programming, 2022Philipp Körner +2 more
exaly