Prolog planner generation prompting guide