Computational Law
Law
without
Lawyers
 

Exercise 4.5 - Operation Definition


Imagine a Blocks World 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 an operation definition for this action.