Results 91 to 100 of about 16,576 (234)
More Science Than Art: The First Botanical Garden in Portugal (c. 1650)
Renaissance Studies, EarlyView.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
Memory performance of and-parallel prolog on shared-memory architectures [PDF]
, 1988 The goal of the RAP-WAM AND-parallel Prolog abstract architecture is to provide inference speeds significantly beyond those of sequential systems, while supporting Prolog semantics and preserving sequential performance and storage efficiency.
Hermenegildo, Manuel V., Tick, Evan
core
PROLOG fejlesztések és alkalmazások Magyarországon [PDF]
, 1980 A Prolog-MProlog nyelv bemutatása és az MProlog hazai megvalósulásai után részletesen ismerteti a korábban elkészült és a még fejlesztés alatt lévő hazai MProlog-alapú projekteket.
Sántáné-Tóth, Edit +2 more
core +1 more source
N-Prolog: An extension of Prolog with hypothetical implications. I.
The Journal of Logic Programming, 1984 This paper, of which one of the authors is a well-known philosophical logician, deals with an extended version of PROLOG, called N-PROLOG, together with a quantified version, called QN-PROLOG. (Q)N-PROLOG allows for so-called hypothetical implications, related to counterfactuals from philosophical logic.
Dov M. Gabbay, Uwe Reyle
openaire +3 more sources
Noah's Raven, Noah's Son: The Metamorphoses of Blackness in Early Modern Readings of Genesis 8‐9
Renaissance Studies, EarlyView.ABSTRACT Over the past half‐century, scholars have offered various theories to explain when and how an aetiology for black skin became part of the reception history of the so‐called Curse of Ham in Genesis 9—a text that does not include any reference to skin colour.
Ashleigh Elser
wiley +1 more source
A logikai programozás és alkalmazásai a Prolog programozási nyelvben [PDF]
, 2009 A szakdolgozat tartalmazza a logikai programozás legfőbb sajátosságait, Prolog programozás alapelveit, és bemutatja a Prologgal megoldható feladatok megoldásait. A szakdolgozat három részből áll. Az első a nyelv elméleti alapjait tárgyalja.
Túri, József Attila
core
The Ecce and Logen Partial Evaluators and their Web Interfaces
, 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 +4 more
core +2 more sources
Narrative reconstruction of the self: Living funerals as rituals of trauma and transformation
The Australian Journal of Anthropology, EarlyView.Abstract Living funerals mark a radical reconfiguration of contemporary engagements with mortality, transforming death from an imposed ending into an actively authored narrative. This study examines the practice in Hong Kong's hybrid sociocultural landscape, where traditional Chinese death rituals collide with neoliberal selfhood and globalised ...
Yuen‐Ki Tang
wiley +1 more source
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
Preventing Erasure and Seeking Accountability in Sri Lankan Diasporic Fiction
World Englishes, EarlyView.ABSTRACT Sixteen years after the end of the military conflict in Sri Lanka in 2009, there has been no real accountability for the atrocities that took place during the 26‐year war between the Liberation Tigers of Tamil Eelam (LTTE) and the Sri Lankan state. Shankari Chandran's Chai Time at Cinnamon Gardens and V. V.
Maryse Jayasuriya
wiley +1 more source