Logic programming operational semantics and proof theory - Andrews, James H. (Cambridge University Press, 1992)