Added unary predicate solution and worked on the maximal algorithm.
Added the prime algorithm code, and did some housekeeping