These languages were initiated by Planner which featured high level plans invoked by patterns for assertions and goals . These languages were initiated by Planner which featured high level plans invoked by patterns for assertions and goals .