Partial Evaluation for Hierarchies of Logic Theories

We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class of structuring policies for logic programming, capable of supporting both block- and inheritancebased systems. We show how the properties of soundness and completeness of Partial Evaluation in Logic Programming are preserved in this extended scheme.

• Type: Conference
• Year: 1990
• Where: SLP
• Authors: Michele Bugliesi, Evelina Lamma, Paola Mello
• Keywords: Logic Programming, Partial Evaluation, SLP 1990, Structured Logic Programming