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

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 :
Complete list of metadata

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


  • HAL Id : inria-00073154, version 1


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



Record views


Files downloads