Results 81 to 90 of about 29,176 (93)

A propagation tracer for Gnu-Prolog: from formal definition to efficient implementation

, 2008
Ludovic Langevine, Mireille Ducassé
openalex  

Some of the next articles are maybe not open access.

Related searches:

SICStus Prolog—The first 25 years

Theory and Practice of Logic Programming, 2012
Mats Carlsson
exaly  

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

, 2003
Ludovic Langevine, Pierre Deransart
openalex  

The language features and architecture of B-Prolog

Theory and Practice of Logic Programming, 2012
Neng-Fa Zhou
exaly  

Design and Implementation of the GNU Prolog System

, 2016
Daniel Díaz
openalex  

SWI-Prolog and the web

Theory and Practice of Logic Programming, 2008
Jan Wielemaker, Zhisheng Huang, Lourens Van Der Meij   +2 more
exaly  

Implantation de SBDS en GNU-Prolog.

, 2003
Guillaume Arnaud
openalex  

Parallel execution of prolog programs

ACM Transactions on Programming Languages and Systems, 2001
Gopal Gupta, Enrico Pontelli, Mats Carlsson   +2 more
exaly  

Multi-paradigm Java–Prolog integration in tuProlog

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

XSB: Extending Prolog with Tabled Logic Programming

Theory and Practice of Logic Programming, 2012
exaly