예제 #1
0
 static void testKBload()
 {
     prologEngine.loadKEFile("default.ke");
     prologEngine.loadKEFile("cycUpper.ke");
     prologEngine.loadKEFile("mini-cyc-prolog.ke");
     prologEngine.loadKEFile("occEmotions.ke");
 }
예제 #2
0
 public bool LoadFile(string filename, OutputDelegate WriteLine)
 {
     if (!LoadsFileType(filename))
     {
         throw new NotImplementedException();
     }
     DLRConsole.EnterThreadWriteLine(WriteLine);
     try
     {
         prologEngine.loadKEFile(filename);
         return(true);
     }
     catch (Exception exception)
     {
         WriteLine("Exception: " + exception);
         return(false);
     }
     finally
     {
         DLRConsole.ExitThreadWriteLine(WriteLine);
     }
 }