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.
Type de document :
Rapport
[Research Report] RR-3531, INRIA. 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00073154
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:00:23
Dernière modification le : mercredi 11 avril 2018 - 02:01:08
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:36:03

Fichiers

Identifiants

  • HAL Id : inria-00073154, version 1

Citation

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

Partager

Métriques

Consultations de la notice

179

Téléchargements de fichiers

1106