Divided we stand: Parallel distributed stack memory management [PDF]
, 1994 We present an overview of the stack-based memory management techniques that we used in our non-deterministic and-parallel Prolog systems: &-Prolog and DASWAM.
Kish, Shen, Hermenegildo, Manuel V.
core +1 more source
EXPERIENCES WITH BUlLDING A KNOWLEDGE SYSTEM AN APPLICATION IN INDUSTRIAL CQNTROL
South African Journal of Industrial Engineering, 2012 <p>ENGLISH ABSTRACT: The Centre for Robotics at the University of Stellenbosch set itself the objective of building a fairly complex manufactu.ring ceH, including .'.11 unskilled human as a system componenL As a precursor to this effort we ...
A.R. Greef, R. Reinecke
doaj
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 +1 more source
DEDUCŢIA LOGICĂ – MECANISM DE CALCUL AL LIMBAJULUI DE PROGRAMARE LOGICĂ
Studia Universitatis Moldaviae: Stiinte Umanistice, 2008 The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating.
USM ADMIN
doaj
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 +1 more source
Semantic wikis as flexible database interfaces for biomedical applications. [PDF]
Sci Rep, 2023 Falda M, Atzori M, Corbetta M.
europepmc +1 more source
Model Checking of Object Petri Nets in Prolog [PDF]
, 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
Essaying the prolog language to obtain the computational evaluation of the coherence of reasoning.
Interdisciplinaria, 2004 Se presenta una descripción de la automatización intentada para evaluar el Test de Coherencia de Razonamiento (TCR, López Alonso, 1981, 1988, 1996, 2000) a través de programas lógicos.
Alfredo O. López Alonso +1 more
doaj
Generating Explanations for Conceptual Validation of Graph Neural Networks: An Investigation of Symbolic Predicates Learned on Relevance-Ranked Sub-Graphs. [PDF]
Kunstliche Intell (Oldenbourg), 2022 Finzel B +5 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 +1 more source