Results 231 to 240 of about 79,804 (260)

Prolog

1998
openaire   +2 more sources

An A Prolog decision support system for the Space Shuttle

ASp, 2001
M. Nogueira, M. Balduccini, M. Gelfond, Richard Watson, M. Barry   +4 more
semanticscholar   +1 more source

SWI-Prolog

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

Prolog

2013
openaire   +2 more sources

The YAP Prolog system

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

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  

SICStus Prolog—The first 25 years

Theory and Practice of Logic Programming, 2012
Mats Carlsson
exaly  

The language features and architecture of B-Prolog

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

SWI-Prolog and the web

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

Prolog

1996
openaire   +1 more source