C# (CSharp) OOLibrary.OOLibrary Examples

Example #1

        public bool Success()
        {
            Prolog engine = new Prolog();

            OOLibrary.OOLibrary lib = new OOLibrary.OOLibrary();
            engine.unloadLibrary("alice.tuprolog.lib.JavaLibrary");
            engine.loadLibrary(lib);
            SolveInfo info = engine.solve(goal);

            return(info.isSuccess());
        }

Example #2

 public EngineFixture()
 {
     OOLibrary.OOLibrary lib = new OOLibrary.OOLibrary();
     engine.unloadLibrary("alice.tuprolog.lib.JavaLibrary");
     engine.loadLibrary(lib);
 }