TY - JOUR AU - Gyöngyi Szilágyi AU - László Harmath AU - Tibor Gyimóthy PY - 2001/01/01 Y2 - 2024/03/28 TI - The debug slicing of logic programs JF - Acta Cybernetica JA - Acta Cybern VL - 15 IS - 2 SE - Regular articles DO - UR - https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3578 AB - 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. ER -