// package uk.ac.man.cs.lethe.internal.simple

// import uk.ac.man.cs.lethe.internal.dl.parsing.DLParser
// import uk.ac.man.cs.lethe.internal.dl.conversion.Ontology2ClausesConverter
// import uk.ac.man.cs.lethe.internal.fol.datatypes._

// import java.io.File

// import scala.collection.mutable.HashMap

// object SimpleResolution2 { 

//   def forget(_clauses: Iterable[Clause], _symbols: Set[String]) = { 
//     val clauses2Index = new HashMap[Clause, Integer]()
//     var counter = 0
//     _clauses.foreach{ clause =>
//       counter += 1
//       println(counter.toString + ". " + clause.toString)
//       clauses2Index.put(clause, counter)
// 		   }

//   }

//   def main(args: Array[String]) = { 
//     println("loading "+args(1))
//     def ontology = DLParser.parse(new File(args(1)))
//     def clauses = Ontology2ClausesConverter.convert(ontology)
//     forget(clauses, Set("D"))
//   }
// }

