parsing : block.pddl
parsing : prob03.pddl
GROUNDED PDDL DOMAIN :

BLOCKS
predicates: on(?x,?y),ontable(?x),clear(?x),handempty(),holding(?x)

unstack
  par: A,A
  pre: on(A,A),clear(A),handempty()
  add: clear(A),holding(A)
  del: on(A,A),handempty(),clear(A)

unstack
  par: A,C
  pre: on(A,C),clear(A),handempty()
  add: clear(C),holding(A)
  del: on(A,C),handempty(),clear(A)

unstack
  par: A,D
  pre: on(A,D),clear(A),handempty()
  add: clear(D),holding(A)
  del: on(A,D),handempty(),clear(A)

unstack
  par: A,B
  pre: on(A,B),clear(A),handempty()
  add: clear(B),holding(A)
  del: on(A,B),handempty(),clear(A)

unstack
  par: C,A
  pre: on(C,A),clear(C),handempty()
  add: clear(A),holding(C)
  del: on(C,A),handempty(),clear(C)

unstack
  par: C,C
  pre: on(C,C),clear(C),handempty()
  add: clear(C),holding(C)
  del: on(C,C),handempty(),clear(C)

unstack
  par: C,D
  pre: on(C,D),clear(C),handempty()
  add: clear(D),holding(C)
  del: on(C,D),handempty(),clear(C)

unstack
  par: C,B
  pre: on(C,B),clear(C),handempty()
  add: clear(B),holding(C)
  del: on(C,B),handempty(),clear(C)

unstack
  par: D,A
  pre: on(D,A),clear(D),handempty()
  add: clear(A),holding(D)
  del: on(D,A),handempty(),clear(D)

unstack
  par: D,C
  pre: on(D,C),clear(D),handempty()
  add: clear(C),holding(D)
  del: on(D,C),handempty(),clear(D)

unstack
  par: D,D
  pre: on(D,D),clear(D),handempty()
  add: clear(D),holding(D)
  del: on(D,D),handempty(),clear(D)

unstack
  par: D,B
  pre: on(D,B),clear(D),handempty()
  add: clear(B),holding(D)
  del: on(D,B),handempty(),clear(D)

unstack
  par: B,A
  pre: on(B,A),clear(B),handempty()
  add: clear(A),holding(B)
  del: on(B,A),handempty(),clear(B)

unstack
  par: B,C
  pre: on(B,C),clear(B),handempty()
  add: clear(C),holding(B)
  del: on(B,C),handempty(),clear(B)

unstack
  par: B,D
  pre: on(B,D),clear(B),handempty()
  add: clear(D),holding(B)
  del: on(B,D),handempty(),clear(B)

unstack
  par: B,B
  pre: on(B,B),clear(B),handempty()
  add: clear(B),holding(B)
  del: on(B,B),handempty(),clear(B)

stack
  par: A,A
  pre: holding(A),clear(A)
  add: on(A,A),handempty(),clear(A)
  del: clear(A),holding(A)

stack
  par: A,C
  pre: holding(A),clear(C)
  add: on(A,C),handempty(),clear(A)
  del: clear(C),holding(A)

stack
  par: A,D
  pre: holding(A),clear(D)
  add: on(A,D),handempty(),clear(A)
  del: clear(D),holding(A)

stack
  par: A,B
  pre: holding(A),clear(B)
  add: on(A,B),handempty(),clear(A)
  del: clear(B),holding(A)

stack
  par: C,A
  pre: holding(C),clear(A)
  add: on(C,A),handempty(),clear(C)
  del: clear(A),holding(C)

stack
  par: C,C
  pre: holding(C),clear(C)
  add: on(C,C),handempty(),clear(C)
  del: clear(C),holding(C)

stack
  par: C,D
  pre: holding(C),clear(D)
  add: on(C,D),handempty(),clear(C)
  del: clear(D),holding(C)

stack
  par: C,B
  pre: holding(C),clear(B)
  add: on(C,B),handempty(),clear(C)
  del: clear(B),holding(C)

stack
  par: D,A
  pre: holding(D),clear(A)
  add: on(D,A),handempty(),clear(D)
  del: clear(A),holding(D)

stack
  par: D,C
  pre: holding(D),clear(C)
  add: on(D,C),handempty(),clear(D)
  del: clear(C),holding(D)

stack
  par: D,D
  pre: holding(D),clear(D)
  add: on(D,D),handempty(),clear(D)
  del: clear(D),holding(D)

stack
  par: D,B
  pre: holding(D),clear(B)
  add: on(D,B),handempty(),clear(D)
  del: clear(B),holding(D)

stack
  par: B,A
  pre: holding(B),clear(A)
  add: on(B,A),handempty(),clear(B)
  del: clear(A),holding(B)

stack
  par: B,C
  pre: holding(B),clear(C)
  add: on(B,C),handempty(),clear(B)
  del: clear(C),holding(B)

stack
  par: B,D
  pre: holding(B),clear(D)
  add: on(B,D),handempty(),clear(B)
  del: clear(D),holding(B)

stack
  par: B,B
  pre: holding(B),clear(B)
  add: on(B,B),handempty(),clear(B)
  del: clear(B),holding(B)

put-down
  par: A
  pre: holding(A)
  add: ontable(A),handempty(),clear(A)
  del: holding(A)

put-down
  par: C
  pre: holding(C)
  add: ontable(C),handempty(),clear(C)
  del: holding(C)

put-down
  par: D
  pre: holding(D)
  add: ontable(D),handempty(),clear(D)
  del: holding(D)

put-down
  par: B
  pre: holding(B)
  add: ontable(B),handempty(),clear(B)
  del: holding(B)

pick-up
  par: A
  pre: clear(A),ontable(A),handempty()
  add: holding(A)
  del: handempty(),clear(A),ontable(A)

pick-up
  par: C
  pre: clear(C),ontable(C),handempty()
  add: holding(C)
  del: handempty(),clear(C),ontable(C)

pick-up
  par: D
  pre: clear(D),ontable(D),handempty()
  add: holding(D)
  del: handempty(),clear(D),ontable(D)

pick-up
  par: B
  pre: clear(B),ontable(B),handempty()
  add: holding(B)
  del: handempty(),clear(B),ontable(B)

GROUNDED PDDL PROBLEM :


Problem: BLOCKS-4-2
Objects: B,D,C,A


init: CLEAR(A),CLEAR(C),CLEAR(D),ONTABLE(A),ONTABLE(B),ONTABLE(D),ON(C,B),HANDEMPTY()


goal: ON(A,B),ON(B,C),ON(C,D)

