Results 41 to 50 of about 12,649 (193)
A Revised Textual Tree Trace Notation for Prolog [PDF]
, 1999 This paper describes a ''textual tree trace'' (TTT) notation for representing the execution of Prolog programs. Compact, textual and non-linear, it provides detailed information about variable binding and execution history, and distinguishes several ...
Patel, Mukesh J. +2 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 +3 more
core +1 more source
Stuck in the Waiting Room: An Analytical Essay Exploring Infertility at Work
Gender, Work &Organization, EarlyView.ABSTRACT In this analytical essay, we use our embodied career experiences to explore infertility at work, placing our “infertile body” at the center of analysis. We consider the ways in which infertility has impacted our identities, careers, and timelines.
Nicola Lawrence‐Thomas, Rose Shepherd
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 +1 more
core +1 more source
The Ecce and Logen Partial Evaluators and their Web Interfaces [PDF]
, 2006 We present Ecce and Logen, two partial evaluators for Prolog using the online and offline approach respectively. We briefly present the foundations of these tools and discuss various applications.
Varea, Mauricio +9 more
core +1 more source
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
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
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
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. +1 more
core +1 more source
Journal of Management Studies, EarlyView.Abstract Ecosystem diversification extends joint value creation by developing new interdependencies between ecosystem actors while redeploying partners and their resources. Such diversification simultaneously generates tensions over ecosystem resources not controlled by the focal firm.
Ayomide Peter Alao +2 more
wiley +1 more source