DS199513: Kalsbeek, Marianne (1995) MetaLogics for Logic Programming. Doctoral thesis, University of Amsterdam.
Text (Samenvatting)
DS199513.samenvatting.txt Download (5kB) 

Text (Full Text (DJVU))
DS199513.text.djvu Download (2MB) 

Text (Full Text (PDF))
DS199513.text.pdf Download (1MB) 
Abstract
MetaLogics for Logic Programming
Marianne Kalsbeek
This dissertation consists of three separate parts, each of which can be read independently. In each part, a theme in Logic Programming (or rather, the practice of Logic Programming) is taken up and investigated from a logical point of view.
Part I is inspired by the observation that, although Logic Programming is based on ﬁrst order predicate logic, in many applications and implementations, such as Prolog, metalogic programming, and databases, a syntax is employed that stretches far beyond ﬁrst order predicate logic. Ambivalent Logic, essentially ﬁrst order predicate logic with a very liberal syntax, is developed in Part I; a series of formal results justify the current Logic Programming practice of using liberal versions of ﬁrst order predicate logic syntax.
In Part II, the focus is on Vanilla metaprogramming, where the meta program takes object programs as input and imitates their execution. Typically, ambivalent syntax is employed here. Various correctness proofs for the standard Vanilla metainterpreter are discussed and compared.
Part III is based on the observation that in implementations of Logic Programming, the added control affects the procedural meaning of programs. In particular, the standard topdown processing of program clauses induces substructural effects. Substructural (Gentzen style) sequent calculi corresponding to various implementation styles, among them standard Prolog, are investigated here.
Item Type:  Thesis (Doctoral) 

Report Nr:  DS199513 
Series Name:  ILLC Dissertation (DS) Series 
Year:  1995 
Subjects:  Logic 
Depositing User:  Dr Marco Vervoort 
Date Deposited:  14 Jun 2022 15:16 
Last Modified:  14 Jun 2022 15:16 
URI:  https://eprints.illc.uva.nl/id/eprint/1986 
Actions (login required)
View Item 