A Tutorial on Proof Theoretic Foundations of Logic Programming

P Bruscoli, A Guglielmi

Research output: Chapter in Book/Report/Conference proceeding › Chapter

1 Citation (Scopus)

Abstract

Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expressive logic programming languages, endowed with a rich meta theory. This tutorial intends to expose the main ideas of this discipline in the most direct and simple way.
Original languageEnglish
Title of host publicationLogic Programming, 19th International Conference - Lecture Notes in Computer Science
PublisherSpringer
Pages109-127
Number of pages19
Volume2916
ISBN (Print)3-540-20642-6
DOIs
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Access to Document

Fingerprint Dive into the research topics of 'A Tutorial on Proof Theoretic Foundations of Logic Programming'. Together they form a unique fingerprint.

    • Cite this

    Bruscoli, P., & Guglielmi, A. (2003). A Tutorial on Proof Theoretic Foundations of Logic Programming. In Logic Programming, 19th International Conference - Lecture Notes in Computer Science (Vol. 2916, pp. 109-127). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/b94619