I'm getting error while executing domain and problem files

[nagesh pindi]

Hi guys,

            I'm new to AI planning and PDDL language. I'm getting error while executing domain and problem files. Can any one help me to solve that error. I'm able to write domain files and problem files. Some time I'm getting different types of errors  i don't know how to identify those errors. Please solve the errors.

Thanks in advance.

ERROR:

[rosplan_knowledge_base-2] process has died [pid 27583, exit code -11, cmd /home/rosplan/ROSPlan/devel/lib/rosplan_knowledge_base/knowledgeBase __name:=rosplan_knowledge_base __log:=/home/rosplan/.ros/log/ec9f8cca-bb08-11e8-a24e-080027a2fc5d/rosplan_knowledge_base-2.log].
log file: /home/rosplan/.ros/log/ec9f8cca-bb08-11e8-a24e-080027a2fc5d/rosplan_knowledge_base-2*.log

Application: BallBouncing

Below are the Domain and problems files.

Domain file:

(define (domain ball_domain4)

  (:requirements :strips :numeric-fluents
    :typing
  )

  ;;(:types
   ; ball height
  ;)

  (:predicates
      (ball_at ?x)
    (ball_at ?x)
    (ball_at ?x)
    (ball_at ?x)
    (ball_at ?x)
    (ball_at ?x)
    (ball_at ?x)    
  )


 ; (:functions
      ;(height_of ?y - height))

  (:action fall
    :parameters (?x0 ?x1 ?x2 ?x3 ?x4 ?x5 ?x6)
    :precondition (and (ball_at ?x0)
                        (ball_at ?x1)
                        (ball_at ?x2)
                        (ball_at ?x3)
                        (ball_at ?x4)
                        (ball_at ?x5)
                        (ball_at ?x6)
                        )
    :effect (and
                (ball_at ?x6)
                (ball_at ?x5)
                (ball_at ?x4)
                (ball_at ?x3)
                (ball_at ?x2)
                (ball_at ?x1)
                (ball_at ?x0)
                (not(ball_at ?x0))
                (not (ball_at ?x1))
                (not(ball_at ?x2))
                (not(ball_at ?x3))
                (not(ball_at ?x4))
                (not(ball_at ?x5))
            )

)

  (:action raise
    :parameters (?x0 ?x1 ?x2 ?x3 ?x4 ?x5)
    :precondition (and (ball_at ?x0)
                        (ball_at ?x1)
                        (ball_at ?x2)
                        (ball_at ?x3)
                        (ball_at ?x4)
                        (ball_at ?x5)
                       
                        )
    :effect (and (ball_at ?x0)
                (ball_at ?x1)
                (ball_at ?x2)
                (ball_at ?x3)
                (ball_at ?x4)
                (ball_at ?x5)
                (not (ball_at ?x0))
                (not (ball_at ?x1))
                (not (ball_at ?x2))
                (not (ball_at ?x3))
                (not (ball_at ?x4))
                (not (ball_at ?x5)))
               
               

))

Problem file:

(define (problem ball_problem4)
   
  (:domain ball_domain4)
  (:objects x0 x1 x2 x3 x4 x5 x6)

 

  (:init
    (ball_at x0)
    (ball_at x1)
    (ball_at x2)
    (ball_at x3)
    (ball_at x4)
    (ball_at x5)
    (ball_at x6)
     
  )

  (:goal(and (ball_at x0 )
      (ball_at x1 )
      (ball_at x2 )
      (ball_at x3 )
      (ball_at x4)
      (ball_at x5 )

  )))