User loginNavigation 
Uniform Proofs as a Foundation for Logic ProgrammingUniform Proofs as a Foundation for Logic Programming (Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov 1989/1991) introduces the concept of unirform provability, which is fundamental to abstract logic programming, which in turn drives much of the more principled work in modern logic programming. In particular, this paper (i) shows that logics that support uniform provability support goaldirected proof search, and so may be used as the foundation of a logic programming language, and (ii) the notion of uniform provability may be used to explore new forms of logic programming, in particular introducing the class of hereditary Harrop formulae which underlies lambdaProlog. A classic... Abstract logic programming is expored in a more introductory manner in this paper. 
Browse archives
Active forum topics

Recent comments
18 weeks 5 days ago
23 weeks 5 hours ago
24 weeks 4 days ago
24 weeks 4 days ago
27 weeks 2 days ago
31 weeks 6 days ago
31 weeks 6 days ago
32 weeks 2 days ago
32 weeks 2 days ago
35 weeks 1 day ago