Results 51 to 60 of about 26,997 (69)

Learning Approximate Consistencies

ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming, 2003
Arnaud Lallouet, Andrei Legtchenko, T. Dao, AbdelAli Ed-Dbali   +3 more
semanticscholar   +1 more source

SWI-Prolog

Theory and Practice of Logic Programming, 2012
Jan Wielemaker, Tom Schrijvers, Markus Triska   +2 more
exaly  

Implantation de SBDS en GNU-Prolog.

, 2003
Guillaume Arnaud
openalex  

The YAP Prolog system

Theory and Practice of Logic Programming, 2012
Vitor Santos Costa, Ricardo Rocha
exaly  

GNU Prolog: Beyond Compiling Prolog to C

, 2000
Daniel Díaz, Philippe Codognet
openalex  

SICStus Prolog—The first 25 years

Theory and Practice of Logic Programming, 2012
Mats Carlsson
exaly  

New Results - GNU-Prolog

, 2002
Philippe Codognet, Daniel Díaz
openalex  

Predictive Low-Glucose Suspend Reduces Hypoglycemia in Adults, Adolescents, and Children With Type 1 Diabetes in an At-Home Randomized Crossover Study: Results of the PROLOG Trial

Diabetes Care, 2018
Gregory P Forlenza, Jordan E Pinsker, Eda Cengiz   +2 more
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