Semantics of Updates in Logic Programming