/* Initial configuration: B C A D Goal configuration: D C A B */ (define (problem blocks4-1) (:objects B C A D) (:init (on B C) (on C A) (on A D) (ontable D) (clear B) ) (:goal (on D C) (on C A) (on A B) (ontable B) ) )