Title: Proof Theory and Logic Programming