Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

ICLP
2003
Springer

favoriteEmaildiscussreport

110views Automated Reasoning» more ICLP 2003»

A Tutorial on Proof Theoretic Foundations of Logic Programming

13 years 9 months ago

A Tutorial on Proof Theoretic Foundations of Logic Programming

Download www.ki.inf.tu-dresden.de

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.

Paola Bruscoli, Alessio Guglielmi

Real-time Traffic

Abstract Logic Programming | ICLP 2003 | Logic Programming | Logic Programming Languages | Programming Languages |

claim paper

Related Content

» A Tutorial Example of the Semantic Approach to Foundational ProofCarrying Code

» ProofTheoretic Foundation of Compilation in Logic Programming

» ProofTheoretic and HigherOrder Extensions of Logic Programming

» Tutorial Examples of the Semantic Approach to Foundational ProofCarrying Code

» Relations Versus Functions at the Foundations of Logic TypeTheoretic Considerations

» Subject Reduction of Logic Programs as ProofTheoretic Property

» Theoretical Foundations of an EnvironmentBased Multiparadigm Language

» Tutorial on Specialisation of Logic Programs

» A Logical Foundation for Environment Classifiers

Post Info
More Details (n/a)

Added	07 Jul 2010
Updated	07 Jul 2010
Type	Conference
Year	2003
Where	ICLP
Authors	Paola Bruscoli, Alessio Guglielmi

Comments (0)