Declarative Datalog Debugging for Mere Mortals

  title={Declarative Datalog Debugging for Mere Mortals},
  author={Sven K{\"o}hler and Bertram Lud{\"a}scher and Yannis Smaragdakis},
Tracing why a “faulty” fact A is in the model M = P (I) of program P on input I quickly gets tedious, even for small examples. We propose a simple method for debugging and “logically profiling” P by generating a provenance-enriched rewriting P̂ , which records rule firings according to the logical semantics. The resulting provenance graph can be easily queried and analyzed using a set of predefined and ad-hoc queries. We have prototypically implemented our approach for two different Datalog… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…