RT Journal Article
SR 00
ID 10.1016/S0743-1066(96)00143-4
A1 Codish, Michael
A1 Bruynooghe, Maurice
A1 García de la Banda, M.
A1 Hermenegildo, Manuel V.
T1 Exploiting goal independence in the analysis of logic programs
JF Journal of logic programming
YR 1997
FD 1997-09
VO 32
IS 3
SP 247
OP 261
AB This paper illustrates the use of a top-down framework to obtain goal independent analyses of logic programs, a task which is usually associated with the bottom-up approach. While it is well known that the bottomup approach can be used, through the magic set transformation, for goal dependent analysis, it is less known that the top-down approach can be used for goal independent analysis. The paper describes two ways of doing the latter. We show how the results of a goal independent analysis can be used to speed up subsequent goal dependent analyses. However this speed-up may result in a loss of precisión. The influence of domain characteristics on this precisión is discussed and an experimental evaluation using a generic top-down analyzer is described.
PB Elsevier - North-Holland
SN 1567-8326
LK http://oa.upm.es/14268/
UL http://www.sciencedirect.com/science/article/pii/S0743106696001434