The debug slicing of logic programs

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

Research output: Contribution to journalArticle

4 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)257-278
Number of pages22
JournalActa Cybernetica
Issue number2
Publication statusPublished - Jan 1 2001


ASJC Scopus subject areas

  • Software
  • Computer Science (miscellaneous)
  • Computer Vision and Pattern Recognition
  • Management Science and Operations Research
  • Information Systems and Management
  • Electrical and Electronic Engineering

Cite this

Szilágyi, G., Harmath, L., & Gyimóthy, T. (2001). The debug slicing of logic programs. Acta Cybernetica, 15(2), 257-278.