Logic as Programming

Article type: Research Article

Authors: Van Benthem, Johan

Affiliations: Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands

Abstract: Starting from a general dynamic analysis of reasoning and programming, we develop two main dynamic perspectives upon logic programming. First, the standard fixed point semantics for Horn clause programs naturally supports imperative programming styles. Next, we provide axiomatizations for Prolog-type inference engines using calculi of sequents employing modified versions of standard structural rules such as monotonicity or permutation. Finally, we discuss the implications of all this for a broader enterprise of ‘abstract proof theory’.

DOI: 10.3233/FI-1992-17402

Journal: Fundamenta Informaticae, vol. 17, no. 4, pp. 285-317, 1992