Abductive Analysis of Modular Logic Programs
LIX, Laboratoire d'Informatique
91128 Palaiseau cedex(Paris)
We introduce a practical method for abductive analysis of
modular logic programs.
This is obtained by reversing the deduction process,
which is usually applied in static-dataflow analysis of logic programs.
The approach is validated in the framework of abstract interpretation.
The abduced information provides an abstract specification for program
modules which can be of assistance both in top-down development
of programs and in compile-time optimization.
To the best of our knowledge this is the first application of abductive
reasoning in dataflow analysis of logic programs.