Results 121 to 130 of about 16,576 (234)
On the Efficiency of Optimising Shallow Backtracking in Prolog [PDF]
, 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
Training cognition in older male prisoners: lessons learned from a feasibility study. [PDF]
Health Justice, 2023 Verhülsdonk S +6 more
europepmc +1 more source
Complete and efficient methods for supporting side effects in independent/restricted and-parallelism [PDF]
, 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 +3 more
core
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 +1 more source
PROLOG study: main results and guidance for further action
Кардиоваскулярная терапия и профилактика, 2006 The article contains main results of PROLOG study, that compared effectiveness of controlled arterial hypertension therapy in step-wise antihypertensive treatment scheme: ACE inhibitor, spirapril, with addiction, if necessary, of diuretic ...
S. Yu. Martsevich +4 more
doaj
Enseñando Prolog con mapas conceptuales
Revista Cubana de Ciencias Informáticas, 2011 Se describe la experiencia del Centro Universitario de Sancti Spíritus “José Martí” en el empleo de mapas conceptuales para el desarrollo de APA-Prolog como herramienta de enseñanza-aprendizaje en la programación lógica. Incluye análisis del uso de mapas
Lydia Rosa Ríos Rodríguez +2 more
doaj
Legal linguistic templates and the tension between legal knowledge representation and reasoning. [PDF]
Front Artif Intell, 2023 Libal T.
europepmc +1 more source
Implementación de un Sistema Experto Ginecológico en Prolog [PDF]
, 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 +2 more
core
Build and Implemented Learning Package for Prolog Programming Language Using Visual Basic.Net 2010
مجلة كلية التربية للبنات, 2019 E-Learning packages are content and instructional methods delivered on a computer (whether on the Internet, or an intranet), and designed to build knowledge and skills related to individual or organizational goals.
اسراء مؤید عبد لله عفاف بديع القدو
doaj
Analyzing logic programs with dynamic scheduling [PDF]
, 1994 Traditional logic programming languages, such as Prolog, use a fixed left-to-right atom scheduling rule. Recent logic programming languages, however, usually provide more flexible scheduling in which computation generally proceeds leftto- right but in ...
Hermenegildo, Manuel V. +2 more
core