CLOMO: Counterfactual Logical Modification with Large Language Models (ACL 2024)