Summary: 1
THE IDT SYSTEM AND ITS APPLICATION FOR LEARNING
PROLOG PROGRAMS
GABRIELLA KÓKAI
Department of Informatics J¢zsef Attila University Hungary
H­6720 Szeged, Árpád tér 2. e­mail:kokai@inf.u­szeged.hu
ZOLTÁN ALEXIN
Research Group on the Theory of Automata at the Hungarian Academy of Sciences
H­6720 Szeged, Aradi vértanúk tere 1. e­mail: h157ale@ella.hu
FERENC KOCSIS
Research Group on the Theory of Automata at the Hungarian Academy of Sciences
H­6720 Szeged, Aradi vértanúk tere 1. e­mail: h155koc@ella.hu
ABSTRACT
In this paper the IDT (Interactive Diagnosis and Testing) System is presented, which
combines the Shapiro's Interactive Diagnosis Algorithm with Category Partition Testing
Method. This system can be used for testing, debugging and learning of Prolog programs.
1. Introduction
In this paper we present a system (called IDT) which combines Shapiro's Interactive Diagnosis Algorithm
[SHA83] with CPM (Category Partition Method) [OSB88]. This system can be used in the testing, debugging
and learning of Prolog programs.

Source: Alexin, Zoltán - Institute of Informatics, University of Szeged

Collections: Computer Technologies and Information Sciences