Results 31 to 40 of about 68 (55)

GNU Prolog: Beyond Compiling Prolog to C

Lecture Notes in Computer Science, 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.
Daniel Diaz, Philippe Codognet
exaly   +3 more sources

The GNU Prolog system and its implementation

Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, 2000
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on nite domains. GNU-Prolog is based on a low-level mini-assembly platform-independent language that makes it possible for e cient compilation time, and allows to produce small stand alone executable les as the result of the ...
Philippe Codognet
exaly   +3 more sources

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation

Lecture Notes in Computer Science, 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 ...
Mireille Ducassé, Pierre Deransart
exaly   +4 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.
exaly   +2 more sources

Design and Implementation of the GNU Prolog System

J. Funct. Log. Program., 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

Distributed multi-threading in GNU prolog

2015
Embora a computação paralela já tenha sido alvo de inúmeros estudos, o processo de a tornar acessível as massas ainda mal começou. Através da combinação com o Prolog de um ambiente de programação distribuída e multithreaded, como o PM2, torna-se possível ter computações paralelas e concorrentes usando programação em logica.
openaire   +1 more source

GNU prolog to Java: a study on how to connect the two programming environments

2015
Neste trabalho pretende-se efectuar o estudo e a implementação de uma interface bidireccional entre o GNU-Prolog e a linguagem Java. O objectivo desta ferramenta é dar a possibilidade de utilizar o poder da programação em lógica dentro de um ambiente multi-plataforma.
openaire   +1 more source

Back-end GNU prolog para EAM (tabulação e distribuição)

2016
Logic programming provides a very high-level view of programming, which comes at the cost of some execution e ciency. Improving performance of logic programs is thus one of the holy grails of Prolog system implementations and a wide range of approaches have historically been taken towards this goal.
openaire   +1 more source

Multi-paradigm Java–Prolog integration in tuProlog

Science of Computer Programming, 2005
Enrico Denti, Andrea Omicini, Alessandro Ricci   +2 more
exaly