Results 41 to 50 of about 61,516 (240)

IDNAF prolog

open access: yesApplied Mathematics Letters, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Goodwin, S.D., Mahroos, M., Neufeld, E.
openaire   +2 more sources

The visibility of women in tenth‐century Rome

open access: yesEarly Medieval Europe, EarlyView.
Women played a significant part in tenth‐century Rome, and the documentation makes them visible in a way rarely seen in early medieval sources. First examining the political agency of the foremost among them, women like Marozia and the Theophylact family senatrices, this paper also highlights the socio‐economic, legal and cultural role of many women of
Veronica West‐Harling
wiley   +1 more source

Mapa conceptual interactivo para la enseñanza de la Programación Lógica y Prolog de la asignatura Inteligencia Artificial

open access: yesRevista Metropolitana de Ciencias Aplicadas, 2021
La enseñanza de la programación implica un elevado nivel de complejidad, lo quiere decir, representa una dificultad extra en el aprendizaje en las aulas; más aún, cuando la programación cambia su paradigma, distinta a la programación tradicional; este es
Tonysé De la Rosa Martín   +2 more
doaj  

Non-termination Analysis of Logic Programs with Integer arithmetics

open access: yes, 2011
In the past years, analyzers have been introduced to detect classes of non-terminating queries for definite logic programs. Although these non-termination analyzers have shown to be rather precise, their applicability on real-life Prolog programs is ...
Danny De Schreye   +5 more
core   +2 more sources

Honouring the Past, Embracing the Future

open access: yesThe 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

FROM MILAN TO WEST BERLIN: SPATIAL ALIENATION AND THE POST‐1945 ANXIOGENIC CITYSCAPE IN ANNA MARIA ORTESE'S SILENZIO A MILANO AND INGEBORG BACHMANN'S ‘EIN ORT FÜR ZUFÄLLE’

open access: yesGerman Life and Letters, EarlyView.
ABSTRACT This article examines Anna Maria Ortese's collection of journalistic reportages and short stories, Silenzio a Milano (Silence in Milan, 1958), and Ingeborg Bachmann's speech ‘Ein Ort für Zufälle’ (17 October 1964). It focuses on their topophobic images of Milan and West Berlin, the anxious representations of these post‐1945 urban landscapes ...
Roberto Interdonato
wiley   +1 more source

Experimenting with independent and-parallel prolog using standard prolog [PDF]

open access: yes, 1991
This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like
Carro Liñares, Manuel   +1 more
core   +2 more sources

TEACHING SPANISH IN THE UNIVERSAL MONARCHY: TOMÁS PINPIN'S GRAMMAR FOR TAGALOGS (1610)

open access: yesHistory and Theory, EarlyView.
ABSTRACT In 1610, a Tagalog printer named Tomás Pinpin published a Spanish grammar in Tagalog that was intended to help natives avoid errors and misunderstandings in their interactions with Spanish colonizers. This article attempts to clarify the book's genesis and to contextualize it within the global expansion of Spanish. Pinpin exemplifies a pattern
ALAN DURSTON
wiley   +1 more source

Reading the Creed in the Light of Pentecost: An Eastern European Pneumatic Reflection

open access: yesInternational Journal of Systematic Theology, EarlyView.
Abstract Reading the Creed through pneumatic lenses is essential for understanding both humanity's eschatological destiny in the likeness of the Trinity and the consistently triune economy of salvation. In light of this assertion, the essay highlights aspects of the Creed's explicit and implicit pneumatology, offering a reflection from an Eastern ...
Daniela C. Augustine
wiley   +1 more source

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

open access: yesActa 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

Home - About - Disclaimer - Privacy