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