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

}