A Prolegomenon to Partial Deduction

Article type: Research Article

Authors: Komorowski, Jan

Affiliations: Department of Computer Science and Electrical Engineering, The Norwegian Institute of Technology, The University of Trondheim, N-7034 Trondheim, Norway

Abstract: Partial deduction is a specialization principle related to the law of syllogism. It has several computational applications in logic programming but it has been recently also used in deductive databases, machine learning, software synthesis and other areas of computing. This article is a systematic introduction to partial deduction, its applications and open problems. Starting from an informal and intuitive presentation, the fundamental notions such as correctness and completeness are discussed. A selection of applications is presented to illustrate partial deduction in different contexts.

DOI: 10.3233/FI-1993-18104

Journal: Fundamenta Informaticae, vol. 18, no. 1, pp. 41-64, 1993