Distributed Logic Objects: A fragment of Rewriting Logic and its Implementation