Opium: an extendable trace analyzer for Prolog
From MaRDI portal
Publication:4700389
DOI10.1016/S0743-1066(98)10036-5zbMath0938.68023OpenAlexW2050349524WikidataQ127706285 ScholiaQ127706285MaRDI QIDQ4700389
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
Related Items (4)
Debugging for Model Expansion ⋮ Reversible debugging in logic programming ⋮ Justifications for logic programs under answer set semantics ⋮ As time goes by: Constraint Handling Rules
Uses Software
This page was built for publication: Opium: an extendable trace analyzer for Prolog
