The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
[article]
2010
arXiv
pre-print
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
arXiv:1001.2188v1
fatcat:s7u3mfkp45handpokbzlnem7hm