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 ocntrol decisios about the unfolding at analysis time and to turn the on-line system into an off-line system. We report on some initial experiments.
展开▼
