Results 101 to 110 of about 16,576 (234)
Kernel Andorra Prolog and its Computational Model [PDF]
, 1990 The logic programming language framework Kernel Andorra Prolog is defined by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive languages and nondeterministic transformational languages may be specified.
Sverker Janson +3 more
core
Comparing Tag Scheme Variations Using an Abstract Machine Generator [PDF]
, 2008 In this paper we study, in the context of a WAM-based abstract machine for Prolog, how variations in the encoding of type information in tagged words and in their associated basic operations impact performance and memory usage.
Morales Caballero, José Francisco +5 more
core +1 more source
IMPROVE 2025: The 3rd International Meeting on Pathway‐Related Obesity: Vision & Evidence
Clinical Obesity, Volume 16, Issue 5, October 2026.ABSTRACT An international cohort of 161 clinicians and researchers from 19 countries attended the 3rd International Meeting on Pathway‐Related Obesity: Vision & Evidence (IMPROVE) in Prague, Czech Republic, on 2–4 July 2025. The aims of the meeting were to advance understanding of hyperphagia and obesity caused by defects in the melanocortin‐4 receptor
Jesús Argente +17 more
wiley +1 more source
The Ethics of University Futures: Leadership in Higher Education
Educational Theory, Volume 76, Issue 5, Page 578-596, October 2026.Abstract Universities today face accelerating instability, shaped by audit cultures, performance metrics, and constant pressures for adaptation. Leadership is often framed in managerial terms of strategic control and technical problem‐solving, yet such models risk obscuring the ethical responsibility that sustains institutional life.
Linnéa K. Jermstad
wiley +1 more source
The ciao modular, standalone compiler and its generic program processing library [PDF]
, 2000 Ciao Prolog incorporates a module system which allows sepárate compilation and sensible creation of standalone executables. We describe some of the main aspects of the Ciao modular compiler, ciaoc, which takes advantage of the characteristics of the Ciao
Cabeza Gras, Daniel +3 more
core +1 more source
Stuck in the Waiting Room: An Analytical Essay Exploring Infertility at Work
Gender, Work &Organization, Volume 33, Issue 5, Page 1644-1657, September 2026.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
The Ciao clp(FD) library. A modular CLP extension for Prolog [PDF]
, 2013 We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to ...
Gallego Arias, Emilio Jesús +3 more
core
What Does Intarsia Say? Materiality and Spirituality in the Urbino Studiolo☆
Renaissance Studies, Volume 40, Issue 4, Page 712-738, September 2026.Abstract Upon entering the Urbino studiolo of Federico da Montefeltro, the visitor is struck by a material‐charged environment. Surprisingly, only a few scholars have addressed one prominent aspect of the decorative scheme, namely, the feature of intarsia as a medium. Even so, it remains on the sidelines of the discussion.
Matan Aviel
wiley +1 more source
A hazai PROLOG-alkalmazások helyzete 1979-ben [PDF]
, 1979 Az SzKI Elméleti Laboratórium és NIM IGÜSZI eredményeiről szóló beszámoló, amelynek irodalomjegyzéke az összes addigi -hazai szerzőktől PROLOG témában megírt- tanulmányt és dolgozatot ...
Sántáné-Tóth, Edit
core +1 more source
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog [PDF]
, 1998 The development of intelligent software agents and other complex applications which continuously interact with their environments has been one of the reasons why explicit concurrency has become a necessity in a modern Prolog system today.
Jesper Eskilson, Eskilson, Jesper
core