Results 111 to 120 of about 16,576 (234)
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator [PDF]
, 2004 The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Vanhoof, Wim; id_orcid +5 more
core +1 more source
Implementing Prolog on Distributed Systems:
, 1994 : A method for distributing Prolog across multiple processors is described. Design criterion and rationale are delineated along with the assumptions behind the methodology.
Douglas Eadline, Parallel Prolog Douglas
core
SICStus Prolog -- The first 25 years
, 2012 SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons. SICStus Prolog was conceived in a context of multiple, conflicting Prolog dialect
Carlsson, Mats,, Mildner, Per,
core
, 2023 The purpose of this graduate thesis, Programming in Prolog, is to gain knowledge of the Prolog Language and how to create programs using it. The thesis is divided into eight chapters, each of which addresses a distinct topic.
Yalamanchili, Ankita Srinivas
core
Essaying the prolog language to obtain the computational evaluation of the coherence of reasoning.
Interdisciplinaria, 2004 Se presenta una descripción de la automatización intentada para evaluar el Test de Coherencia de Razonamiento (TCR, López Alonso, 1981, 1988, 1996, 2000) a través de programas lógicos.
Alfredo O. López Alonso +1 more
doaj
The Semantics of Metaprogramming in Prolog
Theory and Practice of Logic ProgrammingAbstractThis paper describes a semantics for pure Prolog programs with negation that provides meaning to metaprograms. Metaprograms are programs that construct and use data structures as programs. In Prolog a primary mataprogramming construct is the use of a variable as a literal in the body of a clause. The traditional Prolog 3-line metainterpreter is
openaire +3 more sources
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.
Kish, Shen, Hermenegildo, Manuel V.
core
Semantic wikis as flexible database interfaces for biomedical applications. [PDF]
Sci Rep, 2023 Falda M, Atzori M, Corbetta M.
europepmc +1 more source
ALPES: an advanced logic programming environment
Le Matematiche, 1988 This paper introduces a software programming environment for an extended Prolog language, called ALPES. The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional ...
Cristina Ruggieri
doaj
Generating Explanations for Conceptual Validation of Graph Neural Networks: An Investigation of Symbolic Predicates Learned on Relevance-Ranked Sub-Graphs. [PDF]
Kunstliche Intell (Oldenbourg), 2022 Finzel B +5 more
europepmc +1 more source