logic-based prompting