Opium: an extendable trace analyzer for Prolog

DOI10.1016/S0743-1066(98)10036-5MaRDI QIDQ4700389zbMATH OpenOpenAlexWikidataFDO

Authors Mireille Ducassé

Publication date 1 November 1999

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0743-1066(98)10036-5

zbMATH Keywords

Opiumprogram debuggingtrace analyzer

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming
• Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs
• scientific article; zbMATH DE number 53306
• scientific article; zbMATH DE number 4219133

Cited in

(10)

• As time goes by: constraint handling rules
• Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs
• Justifications for logic programs under answer set semantics
• The design and use of a prolog trace generator for CSP
• scientific article; zbMATH DE number 2090549 (Why is no real title available?)
• Tracing Prolog programs by source instrumentation is efficient enough
• Logic Programming
• Debugging for Model Expansion
• Reversible debugging in logic programming
• Adaptable Traces for Program Explanations

Describes a project that uses

Uses Software

• Mercury

This page was built for publication: Opium: an extendable trace analyzer for Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700389)