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