dlv -N=20 -FB planning1.dl
        ^^ needed if integer arithmatic is used
        -FB is brave reasoning

   dlv -silent -N=20 -filter=occurs -filter=holds planning1.dl
       ^ to remove garbage  
       -filter to show only those predicates.

--------

   181  dlv -N=20 planning1.dl > p1-models.tr
   182  dlv -N=20 planning2.dl > p2-models.tr
   183  vi planning1.dl %removed the comment from the query
   184  vi planning2.dl %removed the comment from the query
   187  dlv -N=20 -FB planning1.dl > p1-answer.tr
   188  dlv -N=20 -FB planning2.dl > p2-answer.tr

--------