Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge Graphs