The IMPUT system
Gabriella Kókai

IMPUT Interactive Multiple Revision of Predicates in Logic Program based on Unforlding Transformation

Researchers
Tibor Gyimóthy Ph.D
Zoltán Alexin

Overview

The IMPUT system combines the interactive debugging technique IDT with the specialization algorithm SPECTRE.

The main points behind the IMPUT method is that the identification of a clause to be unfolded has a crucial importance in the effectiveness of the specialization process. If a negative example is covered by the current version of the initial program there is supposedly at least one clause which is responsible for this incorrect covering. The debugging system IDT is used to identify a buggy clause instance. This clause is removed from the initial program. If a derivation of a positive example contains this clause, then those resolvents of the clause which appeared in this derivation are added to the initial program. A modified version of the impurity measure strategy is used to determine the literal to be unfolded. The IMPUT can analyze a Prolog program written in DCG form containing recursive predicates.

References