2005-03-23 A Tutorial on Proof Theoretic Foundations of Logic Programming logic Alessio Guglielmi ! (via Lambda the Ultimate) http://www.ki.inf.tu-dresden.de/%7Eguglielm/res/pap/PrThFoundLP.pdf