static void testKBload() { prologEngine.loadKEFile("default.ke"); prologEngine.loadKEFile("cycUpper.ke"); prologEngine.loadKEFile("mini-cyc-prolog.ke"); prologEngine.loadKEFile("occEmotions.ke"); }
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); } }