Introduction to Logic

Exercise 5.3 - Blocks World

Consider the Blocks World described in Section 5.6, and imagine an action m(x,y,z) that moves block x from block y to block z provided that block x is clear, block x is on block y, and block z is clear. Write a transition rule that describes the effects of this action.