PrologMachine Execute(PrologMachine machine, Query query) { try { machine.ExecutionComplete += CodeExecuted; machine.RunToBacktrack(); machine.Restart(); var result = machine.RunToSuccess(); Console.WriteLine(Enum.GetName(typeof(ExecutionResults), result)); return(machine); } catch (Exception ex) { Console.WriteLine("Error, got exception: {0}", ex.Message); return(null); } }
void RunToBacktrack() { _currentMachine.RunToBacktrack(); }