HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Abstract Views of Prolog Executions in Opium

Mireille Ducassé 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Opium is a system for analysing and debugging Prolog programs. Its kernel comprises an execution tracer and a programming language with a set of primitives for trace and source analysis. In this report we show the power of Opium for supporting abstract views of Prolog executions. Abstract views give high-level points of view about executions. They filter out irrelevant details; they restructure the remaining information; and they compact it so that the information given at each step has a reasonable size. The examples of abstract views given in the following are a goal execution profile, some data abstractions, an instantiation profile, a failure analysis, a loop analysis, and a kind of explanation for an expert system written in Prolog.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073154
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 12:00:23 PM
Last modification on : Friday, February 4, 2022 - 3:19:36 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:36:03 PM

Identifiers

  • HAL Id : inria-00073154, version 1

Citation

Mireille Ducassé. Abstract Views of Prolog Executions in Opium. [Research Report] RR-3531, INRIA. 1998. ⟨inria-00073154⟩

Share

Metrics

Record views

114

Files downloads

200