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-data ow analysis of logic programs. The approach is validated in the framework of abstract interpretation. The abduced information provides an abstract speci cation 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 rst application of abductive reasoning in data ow analysis of logic programs.
Giacobazzi has previously used abductive inference in the analysis of logic programs REF .
Abductive Analysis of Modular Logic Programs
Journal of Logic and Computation
Computer Science