OPIUM: An Extendable Trace Analyser for Prolog - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1997

OPIUM: An Extendable Trace Analyser for Prolog

Mireille Ducassé


Traces of program executions are a helpful source of information for automated debugging. They, however, usually give a too low level picture of the executed program. Opium, our extendable trace analyser for Prolog, is connected to a «standard» tracer. Opium is programmable and extendable. It provides a trace query language and abstract views of executions which solve the problems of low-level traces. Opium has shown its capabilities to build abstract tracers and automated debugging facilities. This article describes the trace query mechanism, from the model to its implementation. Characteristic examples are detailed. Extensions written so far on top of the trace query mechanism are listed. Two recent extensions are presented: the abstract tracers for the LO (Linear Objects) and the CHR (Constraint Handling Rules) languages. These two extensions were specified and implemented within a few days. They show how to use Opium for real applications.
Fichier principal
Vignette du fichier
RR-3257.pdf (533.36 Ko) Télécharger le fichier

Dates and versions

inria-00073432 , version 1 (24-05-2006)


  • HAL Id : inria-00073432 , version 1


Mireille Ducassé. OPIUM: An Extendable Trace Analyser for Prolog. [Research Report] RR-3257, INRIA. 1997. ⟨inria-00073432⟩
156 View
242 Download


Gmail Facebook Twitter LinkedIn More