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();
}