Results 41 to 50 of about 67 (55)

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

Tech. Sci. Informatiques, 2003
Pierre Deransart, Ludovic Langevine
openaire   +1 more source

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

Journal of Automated Reasoning, 1988
Mark E Stickel, Stickel Mark E
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  

Prolog and deductive databases

Knowledge-Based Systems, 1988
M H Williams
exaly  

Reasoning about protein topology using the logic programming language PROLOG

Journal of Molecular Graphics, 1985
William Taylor
exaly  

The implementation of Fprolog—A fuzzy Prolog interpreter

Fuzzy Sets and Systems, 1987
T P Martin
exaly  

Integration of prolog and databases in both evaluational and non-evaluational approaches

Knowledge-Based Systems, 1989
Kuniaki Uehara
exaly  

Fundamentals of Fuzzy Prolog

International Journal of Approximate Reasoning, 1989
Masao Mukaidono, Liya Ding
exaly  

Implantation de SBDS en GNU-Prolog.

Tech. Sci. Informatiques, 2003
openaire   +1 more source

Parameter passing and control stack management in Prolog implementation revisited

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