-
Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Val...
Developing and maintaining Constraint Logic Programs (CLP) requires performanc- e debugging tools based on visualization and explanation. However, existing tools are... -
A Logic Programming approach for Acess Control over RDF
International audience -
Well-Typed Logic Programs Are not Wrong
We consider prescriptive type systems for logic programs (as in Gödel or Mercury). In such systems, the typing is static, but it guarantees an operational property: if... -
Game semantics and parsing context-free lambda-grammars
Abstract categorial grammars (or, equivalently, lambda-grammars) is formalism based on the simply-typed lambda-calculus. These grammars can be described as grammars of... -
Logic Programming Environments: Dynamic Program Analysis and Debugging
Programming environments are essential for the acceptance of programming languages. This survey emphasizes that program analysis, both static and dynamic, is the... -
The Architecture of an Implementation of LambdaProlog: Prolog/Mali
Disponible dans les fichiers attachés à ce document -
A Pragmatic Reconstruction of LambdaProlog
λProlog is a logic programming language in which hereditary Harrop formulas generalise Horn formulas, and simply typed λ-terms generalise Prolog terms. One may wonder... -
Knowledge-based Approaches for Modelling the 3D Structural Interactome
Understanding how the protein interactome works at a structural level could provide useful insights into the mechanisms of diseases. Comparative homology modelling and... -
Graph Structures for Knowledge Representation and Reasoning, Proceeding of Se...
Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers -
Linearizing some recursive logic programs
On donne dans cet article une condition suffisante pour que le plus petit point fixe de l'équation X = a + f(X)X soit égal au plus petit point fixe de l'équation X = a... -
CLP a technology for the interactive resolution of spatial configuration task...
International audience -
An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals
This document gathers the user manual and the reference manual of Opium-M, an analyser of execution traces of Mercury Programs. Opium-M is an adaptation to Mercury of... -
Integration of Information in Four-valued Logics under Non-Uniform Assumptions
International audience -
Towards Constraint-Informed Information Systems
International audience -
Multiplicative exponential proof structures and logic programming
submitted (March 2006) -
Hybrid query plan generation
http://ceur-ws.org/Vol-911 - Regular Paper -
A pragmatic reconstruction of Lambda-Prolog
International audience -
A game semantics for disjunctive logic programming
International audience
