static void Main(string[] args) { EvaluateGUI eg = new EvaluateGUI(args); if (args.Length > 1 && args[1].Equals("batch")) { eg.prolog = args[0]; Thread ss = new Thread(new ThreadStart(eg.startSICStus)); ss.Start(); } eg.InitializeGUI(); Application.Run(eg); }