Planning step-through: STRIPS progression and A* over plans
What the exam asks you to produce: the state as a set of literals at every step, which ground actions are applicable because their preconditions are a subset of the state, each successor written out as a full set computed by adding the positive effects first and then deleting the negative ones, and, for the A* variant, the frontier of plans with g, h and f beside every entry at every expansion.