A Tutorial on Proof Theoretic Foundations of Logic Programming

Paola Bruscoli; Alessio Guglielmi

doi:10.1007/b94619

A Tutorial on Proof Theoretic Foundations of Logic Programming

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

1 Citation (SciVal)

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 language	English
Title of host publication	Logic Programming, 19th International Conference
Editors	Catuscia Palamidessi
Publisher	Springer Verlag
Pages	109-127
Number of pages	19
Volume	2916
ISBN (Print)	3-540-20642-6
DOIs	https://doi.org/10.1007/b94619
Publication status	Published - 2003

Publication series

Name	Lecture Notes in Computer Science
Volume	2916

Access to Document

10.1007/b94619

Cite this

A Tutorial on Proof Theoretic Foundations of Logic Programming. / Bruscoli, Paola ; Guglielmi, Alessio.

Logic Programming, 19th International Conference. ed. / Catuscia Palamidessi. Vol. 2916 Springer Verlag, 2003. p. 109-127 (Lecture Notes in Computer Science; Vol. 2916).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

@inproceedings{4356d794ef5a4afbbda1aa7e98b6b48a,

title = "A Tutorial on Proof Theoretic Foundations of Logic Programming",

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.",

author = "Paola Bruscoli and Alessio Guglielmi",

year = "2003",

doi = "10.1007/b94619",

language = "English",

isbn = "3-540-20642-6",

volume = "2916",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "109--127",

editor = "Catuscia Palamidessi",

booktitle = "Logic Programming, 19th International Conference",

}

TY - GEN

T1 - A Tutorial on Proof Theoretic Foundations of Logic Programming

AU - Bruscoli, Paola

AU - Guglielmi, Alessio

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://dx.doi.org/10.1007/b94619

U2 - 10.1007/b94619

DO - 10.1007/b94619

M3 - Chapter in a published conference proceeding

SN - 3-540-20642-6

VL - 2916

T3 - Lecture Notes in Computer Science

SP - 109

EP - 127

BT - Logic Programming, 19th International Conference

A2 - Palamidessi, Catuscia

PB - Springer Verlag

ER -

A Tutorial on Proof Theoretic Foundations of Logic Programming

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this