Results 61 to 70 of about 29,176 (93)

Implementation strategies for single assignment variables [PDF]

, 2004
Drejhammar, Frej, Schulte, Christian
core   +1 more source

GNU Prolog: Beyond Compiling Prolog to C

International Symposium on Practical Aspects of Declarative Languages, 1999
We 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. The compilation scheme has been however redesigned to overcome drawbacks of the compilation to C.
Diaz, Daniel, Codognet, Philippe
semanticscholar   +4 more sources

A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation

International Conference on Logic Programming, 2003
Tracers give some insight of program executions: with an execution trace a programmer can debug and tune programs. Traces can also be used by analysis tools, for example to produce statistics or build graphical views of program behaviors. Constraint propagation tracers are especially needed because constraint propagation problems are particularly hard ...
Langevine, Ludovic, Ducassé, Mireille
semanticscholar   +5 more sources

GNU Prolog-PHP multi-tier integration

2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS), 2013
The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware. Web application programming becomes more and more important issue. The meaning of HTTP based applications grows together with popularity of the internet.
Rafał Szklarczyk
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

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   +2 more sources

SiLCC Is Linear Concurrent Constraint Programming

International Conference on Logic Programming, 2005
Rémy Haemmerlé
semanticscholar   +2 more sources

WAMCC: Compiling Prolog to C

International Conference on Logic Programming, 1995
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, 2004
Miguel 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, 2003
Ludovic Langevine, P. Deransart, M. Ducassé   +2 more
semanticscholar   +1 more source