Changes made to the fundamental structures being dealt with
(Arraylist<definiteClause> vs. ArrayList<ArrayList<ArrayList<atom>>>).
Streamlined some other methods, such as print and readProblem.