Introduction

• Global program analysis is becoming a practical tool.
• Most LP and CLP compilers perform only local analysis.
• The non-incremental model is unsatisfactory:
  • Incremental compilation in the test-debug cycle.
  • Clauses may be asserted and retracted at runtime.
  • Optimize then re-analyze cycle.
  • Modular programs.
• Incremental analysis can solve these problems.
• Much research for other programming paradigms.
• Little previous work in incremental analysis of logic programs.
• Compositional analysis of logic programs.