Results 81 to 90 of about 79,804 (260)
List manipulation in Turbo Prolog [PDF]
Computer Science Journal of Moldova, 1995 The present paper is concerned with list processing in Turbo Prolog language. It doesn't claim to be an exhaustive description of operations which can be performed upon lists.
V.Cotelea
doaj
Complete and efficient methods for supporting side effects in independent/restricted and-parallelism [PDF]
, 1989 It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of such programs.
Hermenegildo, Manuel V. +1 more
core +2 more sources
ThreadMonitor: Low‐Overhead Data Race Detection Using Intel Processor Trace
Concurrency and Computation: Practice and Experience, Volume 38, Issue 2, January 2026.ABSTRACT Data races are among the most difficult multithreading bugs to find, due to their non‐deterministic nature. This and the increasing popularity of multithreaded programming have led to the need for practical automated data race detection. In this context, dynamic data race detectors have received more attention, compared to static tools, owing ...
Farzam Dorostkar +3 more
wiley +1 more source
Науковий вісник Ужгородського університету. Серія: Математика і інформатика, 2019 Розглядається задача автоматизованого формування математичних виразiв на основi лiнгвiстичного аналiзу тексту. Описано утилiту для текстового процесора MS Word, яка, використовуючи базу знань на мовi Visual Prolog, за допомогою об’єкта OMath генерує ...
М. М. Повiдайчик +2 more
doaj +1 more source
Divided we stand: Parallel distributed stack memory management [PDF]
, 1994 We present an overview of the stack-based memory management techniques that we used in our non-deterministic and-parallel Prolog systems: &-Prolog and DASWAM.
Hermenegildo, Manuel V., Kish, Shen
core +1 more source
The Discovery of the Hippocampal Place Cells
Hippocampus, Volume 36, Issue 1, January 2026.ABSTRACT This paper describes the events leading up to the discovery of the place cells in 1971 for which the author received the Nobel Prize in Physiology and Medicine in 2014, together with May‐Britt and Edvard Moser. In addition, it explores some of the ideas and influences that contributed to the interpretation of that finding as evidence for the ...
John O'Keefe
wiley +1 more source
INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2005 The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj +8 more sources
Customisable Handling of Java References in Prolog Programs
, 2014 Integration techniques for combining programs written in distinct language paradigms facilitate the implementation of specialised modules in the best language for their task.
Castro, Sergio, Mens, Kim, Moura, Paulo
core
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 ...
du Boulay, Benedict +2 more
core
Heroic Creation and the Socialist City: The Making of Villa El Salvador
Antipode, Volume 58, Issue 1, January 2026.Abstract J.C. Mariátegui believed Indo‐American socialism would be neither calque nor copy, but heroic creation. This article explores an attempt at heroic creation in 1970s Peru: the Self‐Managed Urban Commune of Villa El Salvador (Villa). Putting Marxism in conversation with decolonial theory, I argue Villa shows universality and particularity can be
Rafael Shimabukuro
wiley +1 more source