Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Band 4)