Results 71 to 80 of about 29,610 (89)

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
Andrea Omicini, Alessandro Ricci, Enrico Denti   +2 more
exaly  

Un nouveau traceur générique pour GNU-Prolog.

Tech. Sci. Informatiques, 2003
Pierre Deransart, Ludovic Langevine
openaire   +2 more sources

A prolog technology theorem prover: Implementation by an extended prolog compiler

Journal of Automated Reasoning, 1988
Mark E Stickel
exaly  

Experimental evaluation of a generic abstract interpretation algorithm for PROLOG

ACM Transactions on Programming Languages and Systems, 1994
Pascal van Hentenryck, Baudouin le Charlier   +1 more
exaly  

Reasoning about protein topology using the logic programming language PROLOG

Journal of Molecular Graphics, 1985
William Taylor, John Fox
exaly  

The implementation of Fprolog—A fuzzy Prolog interpreter

Fuzzy Sets and Systems, 1987
T P Martin, J F Baldwin
exaly  

Prolog and deductive databases

Knowledge-Based Systems, 1988
M H Williams
exaly  

Parameter passing and control stack management in Prolog implementation revisited

ACM Transactions on Programming Languages and Systems, 1996
Neng-Fa Zhou
exaly