Clicking on the title should (one fine day) take you to Springer's
homepage where this paper is to be stored. Till then please
send me mail
to find out how to obtain a copy of this paper.
We study the notion of binding-time analysis for logic programs.
We formalise the unfolding aspect of an on-line partial deduction
system as a Prolog program. Using abstract interpretation, we
collect information about the run-time behaviour of the program.
We use this information to make the control decisions about the
unfolding at analysis time and to turn the on-line system into an
off-line system. We report on some initial experiments.