An efficient robot planner which generates its own procedures

Given an axiomatic description of its capabilities in some world, she generates her own procedures to embody these capabilities.