The debug slicing of logic programs

  • Gyöngyi Szilágyi
  • László Harmath
  • Tibor Gyimóthy


This paper extends the scope and optimality of previous algorithmic debugging techniques of Prolog programs using slicing techniques. We provide a dynamic slicing algorithm (called Debug slice) which augments the data flow analysis with control-flow dependences in order to identify the source of a bug included in a program. We developed a tool for debugging Prolog programs which also handles the specific programming techniques (cut, if-then, OR). This approach combines the Debug slice with Shapiro's algorithmic debugging technique.


Download data is not yet available.
How to Cite
Szilágyi, G., Harmath, L., & Gyimóthy, T. (2001). The debug slicing of logic programs. Acta Cybernetica, 15(2), 257-278. Retrieved from
Regular articles

Most read articles by the same author(s)