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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gallier, J.: Constructive logics, Part I: A tutorial on proof systems and typed λ-calculi. Theoretical Computer Science 110, 249–339 (1993)
Gentzen, G.: Investigations into logical deduction. In: Szabo, M.E. (ed.) The Collected Papers of Gerhard Gentzen, pp. 68–131. North-Holland, Amsterdam (1969)
Miller, D.: Documentation for lambda prolog, http://lPrologdocs.html
Miller, D.: Overview of linear logic programming. In: Ehrhard, T., Girard, J.-Y., Ruet, P., Scott, P. (eds.) Accepted as a chapter for a book on linear logic, Cambridge University Press, Cambridge, http://papersllp.pdf http://papersllp.pdf
Miller, D.: A multiple-conclusion meta-logic. In: Abramsky, S. (ed.) Ninth Annual IEEE Symp. on Logic in Computer Science, Paris, July 1994, pp. 272–281 (1994)
Miller, D.: Forum: A multiple-conclusion specification logic. Theoretical Computer Science 165, 201–232 (1996)
Miller, D., Nadathur, G., Pfenning, F., Scedrov, A.: Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic 51, 125–157 (1991)
Nadathur, G., Miller, D.: Higher-order Horn clauses. Journal of the ACM 37(4), 777–814 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bruscoli, P., Guglielmi, A. (2003). A Tutorial on Proof Theoretic Foundations of Logic Programming. In: Palamidessi, C. (eds) Logic Programming. ICLP 2003. Lecture Notes in Computer Science, vol 2916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24599-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-24599-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20642-2
Online ISBN: 978-3-540-24599-5
eBook Packages: Springer Book Archive