Results 21 to 30 of about 29,610 (89)

Self-Tuning Resource Aware Specialisation for Prolog

, 2005
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer architecture and Prolog compiler using a genetic algorithm approach.
Leuschel, Michael, Craig, Stephen-John
core   +2 more sources

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, Morales Caballero, José Francisco, Hermenegildo, Manuel V., Haemmerlé, R.   +3 more
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 ...
Patel, Mukesh J., Taylor, Chris, du Boulay, Benedict   +2 more
core  

Distributed multi-threading in GNU prolog [PDF]

, 2007
Embora a computação paralela já tenha sido alvo de inúmeros estudos, o processo de a tornar acessível as massas ainda mal começou. Através da combinação com o Prolog de um ambiente de programação distribuída e multithreaded, como o PM2, torna-se possível
Morgadinho, Nuno Eduardo Quaresma
core  

A Practical Type Analysis for Verification of Modular Prolog Programs [PDF]

, 2008
Regular types are a powerful tool for computing very precise descriptive types for logic programs. However, in the context of real life, modular Prolog programs, the accurate results obtained by regular types often come at the price of efficiency.
Pietrzak, Pawel, Puebla, German, Hermenegildo, Manuel, Pawel S. Pietrzak, Jesús Correas Fernández, Manuel V. Hermenegildo, Hermenegildo, Manuel V., Correas Fernandez, Jesús, Correas, Jesus, Germán Puebla, Puebla Sánchez, Alvaro Germán   +10 more
core   +1 more source

A new module system for prolog [PDF]

, 2009
It is now widely accepted that separating programs into modules has proven very useful in program development and maintenance. While many Prolog implementations include useful module systems, we feel that these systems can be improved in a number of ways,
Cabeza Gras, Daniel, Hermenegildo, Manuel V.   +1 more
core  

Lix: An Effective Self-applicable Partial Evaluator for Prolog [PDF]

, 2004
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effectively self-applied.
Stephen-John Craig, Michael Leuschel, Leuschel, Michael, Craig, Stephen-John   +3 more
core   +2 more sources

The Intellectual Training Environment for Prolog Programming Language [PDF]

In this work is described a new complex training system, named SPprolog, intended for training and self-training in logic programming language - Prolog.
Serghei PELIN
core  

A history-based scheme for accelerating Prolog interpretation [PDF]

, 1989
An algorithm for improving the performance of a Prolog interpreter is introduced. The algorithm, unlike the intelligent backtracking schemes which improve the performance by avoiding redundant redos, avoids redundant calls.
Malhotra, Vishv Mohan, Van To, Tang
core  

tactcomplabs/xbgas-gnu-toolchain: First release of xBGAS-gnu-toolchain

, 2020
First release of xBGAS-gnu ...
XI WANG, jleidel, Novak Boškov
core   +1 more source