Leveraging Logical Rules in Knowledge Editing: A Cherry on the Top