Results 61 to 70 of about 12,649 (193)
Implementing Prolog on Distributed Systems: [PDF]
: A method for distributing Prolog across multiple processors is described. Design criterion and rationale are delineated along with the assumptions behind the methodology.
Douglas Eadline, Parallel Prolog Douglas
core
Transforming Coroutining Logic Programs into Equivalent CHR Programs [PDF]
We extend a technique called Compiling Control. The technique transforms coroutining logic programs into logic programs that, when executed under the standard left-to-right selection rule (and not using any delay features) have the same computational ...
Vincent Nys, Danny De Schreye
doaj +1 more source
The Analogia Entis for Reformed Theology: Retrieving Calvin's Implicit Metaphysics
Abstract The famous controversy between Emil Brunner and Karl Barth which led to Barth's ‘No!’ was driven by disagreements over how to read John Calvin: Barth and Brunner never agreed on whether Calvin had a doctrine of the analogy of being. This article rekindles the debate.
Silvianne Aspray
wiley +1 more source
Desarrollo de un sistema experto para el diagnostico de fallas automotrices
Se presenta un prototipo experimental de un sistema experto para el diagnóstico de fallas mecánicas en automóviles, a partir de una interacción en tiempo real.
Ricardo Fuentes Covarrubias +1 more
doaj
What Does Intarsia Say? Materiality and Spirituality in the Urbino Studiolo☆
Abstract Upon entering the Urbino studiolo of Federico da Montefeltro, the visitor is struck by a material‐charged environment. Surprisingly, only a few scholars have addressed one prominent aspect of the decorative scheme, namely, the feature of intarsia as a medium. Even so, it remains on the sidelines of the discussion.
Matan Aviel
wiley +1 more source
A Prolog programozási nyelv a könyvtárosi munka aspektusából [PDF]
A szakdolgozat célja, hogy bemutassa, hogyan használható a Prolog programozási nyelv a könyvtárosi munka során, milyen jellegzetességei és alkalmazási lehetőségei vannak ennek a logikai programozási nyelvnek.
Túri, József Attila
core
Dihotomija človeškega in živalskega: Salustij in (nekateri) njegovi zgledi
Prolog Salustijeve prve temeljne monografije Katilinova zarota se ne začne kot pričakovani zgodovinopisni prolog, temveč kot problematičen akademski diskurz, utemeljen na številnih antitetično postavljenih parih, med katerimi je prvi in najbolj ...
Gregor Pobežin
doaj +1 more source
More Science Than Art: The First Botanical Garden in Portugal (c. 1650)
ABSTRACT Gabriel Grisley, a German physician, came to Portugal and founded a garden near the Xabregas River in Lisbon, during the 1610s under the Spanish kings' rule. In view of the utility a botanic garden represented for the kingdom, he was able to obtain a royal privilege from King João IV during the Restauration War against the Spanish (1640–1668).
Ana Duarte Rodrigues
wiley +1 more source
SICStus Prolog -- The first 25 years [PDF]
SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons. SICStus Prolog was conceived in a context of multiple, conflicting Prolog dialect
Carlsson, Mats,, Mildner, Per,
core

