block a b c d ?x ?y ?z
#####
OPERATOR moveblock ?x ?y ?z
IF
on ?x ?y
clear ?x nil
clear ?z nil
ADD
on ?x ?z
clear ?y nil
DELETE
on ?x ?y
clear ?z nil
#####
OPERATOR moveblock ?x ?y table
IF
on ?x ?y
clear ?x nil
ADD
on ?x table
clear ?y nil
DELETE
on ?x ?y
#####
OPERATOR moveblock ?x table ?z
IF
on ?x table
clear ?x nil
clear ?z nil
ADD
on ?x ?z
DELETE
on ?x table
clear ?z nil
#####
INITIAL
on a c
on c table
on d b
on b table
clear a nil
clear d nil
#####
GOAL
on a b
on b c
on c table
on d table