Title: Relating Resolution and Algebraic Completion for Horn Logic