Computing Cost Estimates for Proof Strategies

Abstract

Abs t rac t . In this paper we extend work of Treitel and Genesereth for calculating cost estimates for alternative proof methods of logic programs. We consider four methods: (1) forward chaining by semi-n~ive bottom-up evaluation, (2) goM-directed forward chaining by semi-n~ive bottom-up evaluation after Generalized Magic-Sets rewriting, (3) b~ckwaxd… (More)
DOI: 10.1007/3-540-58025-5_54

3 Figures and Tables

Topics

  • Presentations referencing similar topics