Results 131 to 140 of about 12,699 (243)

On the Efficiency of Optimising Shallow Backtracking in Prolog

, 1990
The cost of backtracking has been identified as one of the bottlenecks in achieving peak performance in compiled Prolog programs. Much of the backtracking in Prolog programs is shallow, i.e. is caused by unification failures in the head of a clause
Carlsson, Mats
core  

A database transaction scheduling tool in Prolog [PDF]

, 2004
In this paper, we describe an item of "intelligent" educational software that is intended to help students taking university computer science courses to understand the fundamentals of transaction scheduling.
Douglas, P., Barker, S.
core  

Resting state EEG as biomarker of cognitive training and physical activity's joint effect in Parkinson's patients with mild cognitive impairment. [PDF]

Neurol Res Pract, 2023
Trenado C, Trauberg P, Elben S, Dimenshteyn K, Folkerts AK, Witt K, Weiss D, Liepelt-Scarfone I, Kalbe E, Wojtecki L.   +9 more
europepmc   +1 more source

Implementación de un Sistema Experto Ginecológico en Prolog

, 2018
En este este artículo se muestra cómo realizar un sistema experto en Prolog, (PROgramming in LOGic). Aprovechando que es un lenguaje de programación declarativo, trabaja con lógica de predicados, hechos y cláusulas que ayudan a modelizar el conocimiento,
Ramírez Pérez, Norma Verónica, Laguna Estrada, Martín, Jiménez Morales, Angélica   +2 more
core  

Logic + probabilistic programming + causal laws. [PDF]

R Soc Open Sci, 2023
Belle V.
europepmc   +1 more source

Model Checking of Object Petri Nets in Prolog

, 2003
Object Petri nets (OPNs) provide a natural and modular method for the modelling of many real-world systems. We give a structure-preserving translation of OPNs to Prolog, avoiding the need for an unfolding to a flat Petri net.
Farwer, Berndt, Leuschel, Michael
core  

Application of the Lugano Classification for Initial Evaluation, Staging, and Response Assessment of Hodgkin and Non-Hodgkin Lymphoma: The PRoLoG Consensus Initiative (Part 2-Technical). [PDF]

J Nucl Med, 2023
Ricard F, Barrington S, Korn R, Brueggenwerth G, Trotman J, Cheson B, Salles G, Schwartz L, Goldmacher G, Jarecha R, Narang J, Broussais F, Galette P, Liu M, Bajpai S, Perlman E, Gillis J, Smalberg I, Terve P, Zahlmann G, Schmid A.   +20 more
europepmc   +1 more source

Complete and efficient methods for supporting side effects in independent/restricted and-parallelism

, 1989
It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of such programs.
Muthukumar, Kalyan, Hermenegildo, Manuel V., K. Muthukumar, M. Hermenegildo   +3 more
core  

Application of the Lugano Classification for Initial Evaluation, Staging, and Response Assessment of Hodgkin and Non-Hodgkin Lymphoma: The PRoLoG Consensus Initiative (Part 1-Clinical). [PDF]

J Nucl Med, 2023
Ricard F, Cheson B, Barrington S, Trotman J, Schmid A, Brueggenwerth G, Salles G, Schwartz L, Goldmacher G, Jarecha R, Narang J, Broussais F, Galette P, Liu M, Bajpai S, Perlman E, Gillis J, Smalberg I, Terve P, Zahlmann G, Korn R.   +20 more
europepmc   +1 more source

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism

, 2007
Most efficient implementations of parallel logic programming rely on complex low-level machinery which is arguably difficult to implement and modify.
Manuel V. Hermenegildo, Hermenegildo, Manuel V., Casas, Amadeo, Carro Liñares, Manuel, Amadeo Casas, Manuel Carro   +5 more
core