Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning

Pierre Deransart (1) , Rafael Oliveira (2)

1 CONTRAINTES - Constraint programming
2 CIn - Centro de Informatica UFPE [Recife]

In this report, we show how to use the Simple Fluent Calculus (SFC) to specify generic tracers, i.e. tracers which produce a generic trace. A generic trace is a trace which can be produced by different implementations of a software component and used independently from the traced component. This approach is used to define a method for extending a java based CHRor platform called CHROME (Constraint Handling Rule Online Model-driven Engine) with an extensible generic tracer. The method includes a tracer specification in SFC, a methodology to extend it, and the way to integrate it with CHROME, resulting in the platform CHROME-REF (for Reasoning Explanation Facilities), which is a constraint solving and rule based reasoning engine with explanatory traces.

Mots clés: Trace; CHR; CHRor; CHROME; CHROME-REF; Tracer; Meta-Theory; Model Driven Engineering; Tracer Driver; Analysis Tool; Program Analysis; Observational Semantics; Software Component; Debugging; Programming Environment; Logic Programming; Validation

Domaines: Langage de programmation [cs.PL]

Pierre Deransart, Rafael Oliveira. Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning. [Research Report] RR-7165, INRIA. 2009, pp.53. ⟨inria-00443635⟩