Title: Description and theoretical analysis (using schemas) of Planner: a language for proving theorems and manipulating modelsin a robot