Logic programming as a basis for lean automated deduction

AbstractThe idea of lean deduction is to achieve maximal efficiency from minimal means. Every possible effort is made to eliminate overhead. Logic programming languages provide an ideal tool for implementing lean deduction as they offer a level of abstraction that is close to the needs for building first-order deduction systems. In this paper, we describe the principle of lean deduction and present leanTAP, an instance of it implemented in standard Prolog

J. LOGIC PROGRAMMING 1993:12:1–199 1 LOGIC PROGRAMMING AS A BASIS FOR LEAN AUTOMATED DEDUCTION ∗

> The idea of lean deduction is to achieve maximal efficiency from minimal means. Every possible effort is made to eliminate overhead. Logic programming languages provide an ideal tool for implementing lean deduction, as they offer a level of abstraction that is close to the needs for building firstorder deduction systems. In this paper we describe the principle of lean deduction and present leanTAP, an instance of it implemented in standard Prolog. < 1