Exercise 3.6.
Part 1.
(PUT_ON A B
(AND (GET_SPACE A B)
(GRASP A
(CLEAR-TOP A
(GET-RID-OF C
(PUT-ON C TABLE
(AND (GET-SPACE C TABLE)
(GRASP C
(CLEAR-TOP C
(GET-RID-OF D
(PUT-ON D TABLE
(AND (GET-SPACE D TABLE)
(GRASP D)
(MOVE D TABLE)
(UNGRASP D)
)
)
)
)
)
(MOVE C TABLE)
(UNGRASP C)
)
)
)
)
)
(MOVE A B)
(UNGRASP A)
)
)
Part 2.
* To clear the top of C.
* To clear the top of A.
* To put onto B.
* Get rid of C.
* Put C on TABLE.
Part 3.
* When there is space on the TABLE, and the top of D is clear.
* When there is space on the TABLE, and the top of C is clear.
* When there is space on B, the top of A is clear, and A is held
by the robot hand.