DS-1995-13: Meta-Logics for Logic Programming

DS-1995-13: Kalsbeek, Marianne (1995) Meta-Logics for Logic Programming. Doctoral thesis, University of Amsterdam.

[thumbnail of Samenvatting] Text (Samenvatting)

Download (5kB)
[thumbnail of Full Text (DJVU)] Text (Full Text (DJVU))

Download (2MB)
[thumbnail of Full Text (PDF)] Text (Full Text (PDF))

Download (1MB)


Meta-Logics 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 first order predicate logic, in many applications and implementations, such as Prolog, meta-logic programming, and databases, a syntax is employed that stretches far beyond first order predicate logic. Ambivalent Logic, essentially first 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 first order predicate logic syntax.
In Part II, the focus is on Vanilla meta-programming, 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 top-down 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: DS-1995-13
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 View Item