Results 21 to 30 of about 29,176 (93)
Portability of Prolog programs: theory and case-studies [PDF]
, 2010 (Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since 1995, the core of the language is covered by the ISO standard 13211-1.
Costa, Vítor Santos, Wielemaker, Jan
core +2 more sources
VADA: A transformation-based system for variable dependence analysis [PDF]
Variable dependence is an analysis problem in which the aim is to determine the set of input variables that can affect the values stored in a chosen set of intermediate program variables.
Danicic, S +5 more
core +3 more sources
Generic Traces and Constraints, GenTra4CP revisited [PDF]
, 2011 The generic trace format GenTra4CP has been defined in 2004 with the goal of becoming a standard trace format for the observation of constraint solvers over finite domains. It has not been used since.
Deransart, Pierre
core +3 more sources
Towards declarative diagnosis of constraint programs over finite domains [PDF]
, 2003 The paper proposes a theoretical approach of the debugging of constraint programs based on a notion of explanation tree. The proposed approach is an attempt to adapt algorithmic debugging to constraint programming.
Ferrand, Gerard +2 more
core +1 more source
, 2009 We explore the use of the Cell Broadband Engine (Cell/BE for short) for combinatorial optimization applications: we present a parallel version of a constraint-based local search algorithm that has been implemented on a multiprocessor BladeCenter machine ...
Abreu, Salvator +2 more
core +4 more sources
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation
, 2017 OpenRuleBench is a large benchmark suite for rule engines, which includes deductive databases. We previously proposed a translation of Datalog to C++ based on a method that "pushes" derived tuples immediately to places where they are used. In this paper,
Brass, Stefan, Stephan, Heike
core +2 more sources
A documentation generator for logic programming systems [PDF]
, 2000 We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages.
Hermenegildo, Manuel V.
core
, 2008 We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different
A. Casas +58 more
core +1 more source
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains
, 2002 CLPGUI is a graphical user interface for visualizing and interacting with constraint logic programs over finite domains. In CLPGUI, the user can control the execution of a CLP program through several views of constraints, of finite domain variables and ...
Fages, Francois
core +3 more sources
Programming assignments automatic grading: review of tools and implementations [PDF]
, 2013 Automatic grading of programming assignments is an important topic in academic research. It aims at improving the level of feedback given to students and optimizing the professor time. Several researches have reported the development of software tools to
Caiza, Julio C. +1 more
core