Debugging and testing of Prolog programs (Q2763587)

Authors proposed a new method for the algorithmic debugging and functional testing of Prolog programs. The method is named IDTS (Integrated Debugging, Testing and Slicing) and integrates Shapiro's Interactive Diagnosis Algorithm, as well as some ideas from imperative programming languages. Namely, basic concept of IDTS is similar to the GADT (General Algorithmic Debugging and Testing). The main difference between the GADT and the IDTS is that the GADT has been applied to imperative languages and the IDTS to logic programs. The IDTS method provides the avoiding irrelevant questions to the user by categorizing input parameters and match them against test cases and test database. The IDTS is used in a large ECG classifier program and in an interactive learner.NEWLINENEWLINEFor the entire collection see [Zbl 0977.00022].