title: PDDL Lab problem with code with no error in console
body: <p>We have a problem with this code. We are not getting the solution when running the planner. We don't know what the problem is. There is no error on debug console.</p>
  <p>DOMAIN.PDDL</p>
  <pre><code>(define (domain pacientes4)
  
  (:requirements :typing :negative-preconditions)
  
  (:types paciente localizacion)
  
  
  (:predicates 
      (vacia-ambulancia)
      (llena-ambulancia)
      (ambulancia ?l - localizacion)
      (ubicacion ?p - paciente ?l - localizacion)
      (hospital ?l - localizacion)
      (hospitalp ?p - paciente)
      (adjacent ?l1 - localizacion  ?l2 - localizacion)
  )
  
  
  (:action mover
      :parameters (?x - localizacion ?y - localizacion ?p - paciente)
      :precondition 
         ( and (ambulancia ?x) 
               (adjacent ?x ?y)
               (not (hospitalp ?p)) )
      :effect
       (and (not (ambulancia ?x))   
            (ambulancia ?y))
  
  )
  
  
  (:action subir
      :parameters (?p - paciente ?l - localizacion)
      :precondition 
          (and (vacia-ambulancia)
               (ambulancia ?l) 
               (ubicacion ?p ?l))
      :effect 
         (and (not (vacia-ambulancia))  
              (not (ambulancia ?l))  
              (not (ubicacion ?p ?l))
              (llena-ambulancia)) 
  )
  
  
  (:action bajar
      :parameters (?p - paciente  ?l - localizacion)
      :precondition 
           (and (llena-ambulancia) 
                (ambulancia ?l)
                (not (hospitalp ?p) ))    
           
      :effect 
          (and  (vacia-ambulancia) 
                (not (llena-ambulancia)) 
                (ubicacion ?p ?l) 
                (hospitalp ?p) 
                (hospital ?l) )
  )
  )
  </code></pre>
  <p>AND THE PROBLEM IS:</p>
  <pre><code>(define (problem Trasladopacientes) 
  (:domain pacientes4)
  (:objects  p1  p2 - paciente    l1  l2  l3  l4 - localizacion)
  
  (:init  
          (hospital l1)  
          (ambulancia l1) 
          (not(llena-ambulancia))
          (vacia-ambulancia)
          (ubicacion p1 l3)  (ubicacion p2 l4)
          (not(hospitalp p1))  (not(hospitalp p2))
          (adjacent l1 l2)  (adjacent l2 l1)
          (adjacent l2 l4)  (adjacent l4 l2)
          (adjacent l3 l4)  (adjacent l4 l3)
  )
  
  (:goal 
     (and (ubicacion p1 l1)  (ubicacion p2 l1)
          (vacia-ambulancia)  
          (ambulancia l1)
          (hospitalp p1)   (hospitalp p2)  (hospital l1))
  )
  
  
  )
  </code></pre>