Cleaned up main.cpp (moved code to DatalogProgram.cpp's parse method)