Results 41 to 50 of about 8,649 (191)

Transforming Coroutining Logic Programs into Equivalent CHR Programs [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
We extend a technique called Compiling Control. The technique transforms coroutining logic programs into logic programs that, when executed under the standard left-to-right selection rule (and not using any delay features) have the same computational ...
Vincent Nys, Danny De Schreye
doaj   +1 more source

Efficient Compression of Prolog Programs [PDF]

arXiv, 2006
We propose a special-purpose class of compression algorithms for efficient compression of Prolog programs. It is a dictionary-based compression method, specially designed for the compression of Prolog code, and therefore we name it PCA (Prolog Compression Algorithm).
arxiv  

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

International 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

INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION [PDF]

Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2015
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   +1 more source

From Boundary Objects to Boundary Infrastructure: A Process Study of Collaboration between Big Science and Big Business

Journal of Management Studies, EarlyView.
Abstract The development of a novel boundary infrastructure for large‐scale interorganizational collaboration presents a challenge that is ill‐understood: how can individual boundary objects, which do not suffice for large‐scale collaboration and might even engender conflict, be developed into a coherent boundary infrastructure that facilitates the ...
Jochem T. Hummel, Hans Berends, Philipp Tuertscher   +2 more
wiley   +1 more source

“Going Beyond Darkness”—Lingering Images and Ideation of Self‐Destruction

Journal of Psychiatric and Mental Health Nursing, EarlyView.
ABSTRACT Purpose This paper is a personal reflection on the persistence of self‐destructive thoughts and ideations in individuals with a history of self‐destructiveness. Background Personal narratives are essential for understanding mental health and illness, particularly for those with a history of self‐destructive behaviour.
Nina Veetnisha Gunnarsson
wiley   +1 more source

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

Acta 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

Disjunctive Delimited Control [PDF]

arXiv, 2021
Delimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the control flow of a program from inside the language, it enables the implementation of powerful features, such as tabling, without modifying the internals of the Prolog engine ...
arxiv  

Silent shadows in the rebirth of Czech nation: Unveiling the role of rape and sexual violence in the ethnic cleansing of post‐WWII Czech lands

Nations and Nationalism, EarlyView.
Abstract The article explores the harrowing use of sexual violence as a tool in the ethnic cleansing of Germans in post‐World War II Czechoslovakia. By examining the grim realities of internment camps, prisons, and border regions, it reveals a disturbing pattern of abuse aimed primarily at German women by Czech men.
Jaromír Mrňka
wiley   +1 more source

Desarrollo de un sistema experto para el diagnostico de fallas automotrices

Revista Iberoamericana de Tecnología en Educación y Educación en Tecnología, 2013
Se presenta un prototipo experimental de un sistema experto para el diagnóstico de fallas mecánicas en automóviles, a partir de una interacción en tiempo real.
Ricardo Fuentes Covarrubias, Andrés Gerardo Fuentes Covarrubias   +1 more
doaj