Results 61 to 70 of about 12,699 (243)
Beyond Brunhild: reassessing women in the Fredegar Chronicle
Early Medieval Europe, EarlyView.Scholarly consideration of women in the seventh‐century Fredegar chronicle has long been dominated by the author’s hostility towards Brunhild, queen of Austrasia. Statistical analysis of Latin world chronicles before ad 900, however, shows that Fredegar’s representation of women was unusually high within this tradition.
Emily Quigley
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
A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs
, 1992 The searchfor better Prolog debugging environments has taken a number of dif- ferent paths of which three are particularly important: improvements to monitoring tools (notably the TransparentProlog Machine (Eisenstadt & Brayshaw, 1987)),pro- viding ...
Paul Brna +5 more
core +1 more source
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
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 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
ОСОБЕННОСТИ ПОСТРОЕНИЯ ВЫЧИСЛИТЕЛЬНОГО МЕХАНИЗМА ЯЗЫКОВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
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
Theory and Practice of Logic Programming, 2011 AbstractYet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then. This paper presents the general structure and design of the YAP system, focusing on three important contributions to the Logic Programming community. First, it describes the main techniques used in
Vítor Santos Costa +2 more
openaire +3 more sources
The Synthesis of Logic Programs from Inductive Proofs [PDF]
, 1990 We describe a technique for synthesising logic (Prolog) programs from non-executable specifications. This technique is adapted from one for synthesising functional programs as total functions. Logic programs, on the other hand, define predicates.
Geraint Wiggins +5 more
core +1 more source