Results 31 to 40 of about 57,202 (208)
Delimited continuations for Prolog [PDF]
, 2013 Delimited continuations are a famous control primitive that originates in the functional programming world. It allows the programmer to suspend and capture the remaining part of a computation in order to resume it later.
Demoen, Bart +3 more
core +3 more sources
Diagnostic reasoning with A-Prolog [PDF]
Theory and Practice of Logic Programming, 2003 In this paper we suggest an architecture for a software agent which operates a physical device and is capable of making observations and of testing and repairing the device's components. We present simplified definitions of the notions of symptom, candidate diagnosis, and diagnosis which are based on the theory of action language ${\cal AL}$.
Marcello Balduccini, Michael Gelfond
openaire +3 more sources
Conflict Resolution Quarterly, EarlyView.ABSTRACT In family mediation, emotional discomfort and perceived unsafety may signal deeper relational risks, including postseparation violence. Standard intake procedures in Norwegian family mediation depend on disclosure to a nonclinical administrator before any therapeutic relationship exists, and research documents systematic under‐reporting at ...
Jan Stokkebekk +2 more
wiley +1 more source
A Framework for Safe and Efficient Fishbone Layouts in Warehouse Operations [PDF]
Journal of South Asian Logistics and TransportThe adoption of Industry 4.0 technologies has transformed warehouse management, enhancing its efficiency, accuracy, and profitability. However, optimising warehouse layouts, particularly fishbone designs, remains complex and often relies on intricate ...
S. Nimishan, K. Theekshani
doaj +1 more source
OR-parallel PROLOG in flat concurrent PROLOG
The Journal of Logic Programming, 1989 AbstractWe describe a simple or-parallel execution algorithm for PROLOG that naturally collects all solutions to a goal. For a large class of programs the algorithm has O(log n) overhead and exhibits O(n/(log n)2) parallel speedup over the standard sequential algorithm.
openaire +1 more source
Journal of Organizational Behavior, EarlyView.ABSTRACT In the course of a workday, employees attend to various tasks whose challenge might be equal to, higher than, or lower than employees' present level of capabilities. Moreover, employees encounter these tasks sequentially throughout the day with different levels of prior motivation. Investigating carryover effects in motivation from one task to
Sherry (Qiang) Fu +4 more
wiley +1 more source
Experimenting with independent and-parallel prolog using standard prolog [PDF]
, 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
Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, 2009 Control Network Programming is a programming paradigm that integrates ideas from imperative programming, declarative programming, rule-based systems, nondeterministic programming and graphical programming. Its computation rule is based on an extended specific version of backtracking.
Golemanov, T. +2 more
openaire +2 more sources
Data Schema Evolution for the Self‐Adaptive Software Domain: A Systematic Mapping Study
Software: Practice and Experience, EarlyView.ABSTRACT Context Self‐adaptive Software (SaS) is a special category of software systems that enables adaptation at runtime to address new user requirements or changes in its execution environment. This article focuses on a specific category of SaS named SaS2DB, which encompasses systems that require the storage of data in a database. In short, a SaS2DB
Gabriel Nagassaki Campos +4 more
wiley +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.
Eskilson, Jesper
core +2 more sources