Results 61 to 70 of about 16,576 (234)

Ascetics, slaves, and necessity in Late Antiquity: renouncing all wealth, but for a single slave

Early Medieval Europe, EarlyView.
Slave owners in Late Antiquity viewed the possession of at least one slave to be a necessity and a defining mark that distinguished the dignified social classes from the poor. Ascetics who shared this perspective faced a choice when renouncing all worldly possessions in pursuit of spiritual perfection, one not merely about luxury, but also about status
E.T. Dailey, Justin Pigott
wiley   +1 more source

A new module system for prolog [PDF]

, 2009
It is now widely accepted that separating programs into modules has proven very useful in program development and maintenance. While many Prolog implementations include useful module systems, we feel that these systems can be improved in a number of ways,
Cabeza Gras, Daniel, Hermenegildo, Manuel V.   +1 more
core  

Honouring the Past, Embracing the Future

The Ecumenical Review, EarlyView.
Abstract The United Church of Canada, founded in 1925, represents an ambitious experiment in church union that blends Methodist, Presbyterian, and Congregationalist traditions. Over the past century, the church has played a pivotal role in shaping Canadian society by advocating for social justice, Indigenous reconciliation, interreligious dialogue ...
Hyuk Cho
wiley   +1 more source

A history-based scheme for accelerating Prolog interpretation [PDF]

, 1989
An algorithm for improving the performance of a Prolog interpreter is introduced. The algorithm, unlike the intelligent backtracking schemes which improve the performance by avoiding redundant redos, avoids redundant calls.
Malhotra, Vishv Mohan, Van To, Tang
core  

The Nature of Christian Doctrine: A Conversation with My Critics

International Journal of Systematic Theology, EarlyView.
Abstract This article opens with a brief account of the six main themes of The Nature of Christian Doctrine, noting in particular the role of the early church as an ‘epistemic community’ of knowledge production, and the significant and helpful parallels between the modern scientific tool of ‘inference to the best explanation’ and early Christian ...
Alister E. McGrath
wiley   +1 more source

A simple approach to distributed objects in prolog [PDF]

, 2002
We present the design of a distributed object system for Prolog, based on adding remote execution and distribution capabilities to a previously existing object system. Remote execution brings RPC into a Prolog system, and its semantics is easy to express
Hermenegildo, Manuel V., Carro Liñares, Manuel   +1 more
core  

RedAlert: Determinacy Inference for Prolog [PDF]

, 2011
This paper revisits the problem of determinacy inference addressing the problem of how to uniformly handle cut. To this end a new semantics is introduced for cut, which is abstracted to systematically derive a backward analysis that derives conditions ...
JAEL KRIENER, ANDY KING, King, Andy, Kriener, Jael   +3 more
core   +1 more source

Interpreting Barth's Eschatology: An Eco‐Theological Reappraisal

International Journal of Systematic Theology, EarlyView.
Abstract Critical eco‐theologians do not consider Karl Barth's theology of creation helpful in addressing the contemporary ecological crisis. In this article, I explore a way to interpret Barth's theology that could lead to a fruitful eco‐theological perspective.
Othniël de Jong
wiley   +1 more source

Shell para criação automática de sistemas especialistas com inferência em Prolog e tratamento de incerteza por fatores de certeza [PDF]

, 2012
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.Este trabalho apresenta o aprimoramento da ferramenta Shell Intellec System, para a criação automática de Sistemas ...
Pamplona Filho, Cesar Roberto
core  

ОСОБЕННОСТИ ПОСТРОЕНИЯ ВЫЧИСЛИТЕЛЬНОГО МЕХАНИЗМА ЯЗЫКОВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ

Acta et Commentationes: Ştiinţe Exacte şi ale Naturii, 2019
n articol sunt analizate elementele logicii, care sunt puse la baza unui deductor automat de interpretare a programelor computaționale scrisă în logică, adica deductor cum în realitate și este interpretorului limbajului de programare Prolog.
Serghei PELIN, Nicolai PELIN
doaj   +1 more source