Sussman




initially: on(a,table). on(b,table). on(c,a).

goal: on(c,b),on(b,a),on(a,table)? (3)