AI project: FOL unifier and FOL into clause form converter