static void Main(string[] args)
 {
     CLIPSNet.Environment theEnv = new CLIPSNet.Environment();
     theEnv.Load(@"..\..\..\SocratesKnowledgeBase.clp");
     theEnv.Reset();
     theEnv.Run(-1);
 }
 static void Main(string[] args)
 {
     CLIPSNet.Environment theEnv = new CLIPSNet.Environment();
     theEnv.Load(@"..\..\..\SocratesKnowledgeBase.clp");
     theEnv.Reset();
     theEnv.Run(-1);
 }