# Towards a Generic Trace for Rule Based Constraint Reasoning

1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers is in their testing and debugging phases. Current CHR implementations support those phases by offering tracing facilities with limited information. In this paper, we propose a new trace for CHR which contains enough information to analyze any aspects of $CHR^\lor$ execution at some general abstract level. This approach is based on the idea of generic trace. Such a trace is formally defined as an extension of the $\omega_r^\lor$ semantics. It is currently prototyped in a SWI Prolog based CHR implementation.
Document type :
Conference papers
Domain :

https://hal.archives-ouvertes.fr/hal-01286066
Contributor : Lip6 Publications <>
Submitted on : Thursday, March 10, 2016 - 11:23:38 AM
Last modification on : Thursday, March 21, 2019 - 2:43:13 PM

### Identifiers

• HAL Id : hal-01286066, version 1

### Citation

Armando Gonçalves, Marcos Aurélio Almeida da Silva, Pierre Deransart, Jacques Robin. Towards a Generic Trace for Rule Based Constraint Reasoning. 8th Workshop on Constraint Handling Rules (CHR), Sep 2011, Cairo, Egypt. pp.32-47. ⟨hal-01286066⟩

Record views