ESPRIT Basic Research Project 6707 ParForCE
``Parallel Formal Computing Environment''
Technology Transfer Workshop and Final Review

Incremental Analysis
of Logic Programs

M. Hermenegildo, G. Puebla (UPM)
K. Marriott (Monash U.), P. Stuckey (Melbourne U.)
Presented by Germán Puebla

Madrid, January 15-16, 1996

• Introduction
• Test-Debug Cycle
• Run-time Assertion/Deletion of Clauses
• Optimize then Re-analyze Cycle
• Modular Programs
• Incremental Addition
• Incremental Addition: The Experiment
• Incremental vs. Non-incremental Addition
• Incremental Deletion
• ``Top-Down'' Deletion Algorithm.
• ``Bottom-up'' Deletion Algorithm
• Incremental Deletion: The Experiment
• Incremental vs. Non-incremental Deletion
• Arbitrary Change
• Local Change
• Local Change: The Experiment
• Local Change vs. Non-incremental Change
• Conclusions