Computational Law
Law
without
Lawyers
 

Exercise 3.6 - Blocks World


Two blocks are at the same height if and only if they are resting on the same number of blocks. Define the sameheight relation in terms of on in such a way that it works no matter how many blocks there are in the Blocks World.