void UpdateQueryResults()
{
var queryResults = new PrologQueryResults();
queryResults.Variables.Synchronize(GetPermanentVariables(0, true));
QueryResults = queryResults;
}
private PrologMachine(Program program, Query query)
{
if (program == null)
{
throw new ArgumentNullException("program");
}
if (query == null)
{
throw new ArgumentNullException("query");
}
m_wamMachine = WamMachine.Create(program, query);
m_stackFrames = new PrologStackFrameList(this);
m_arguments = new PrologVariableList(this);
m_temporaryVariables = new PrologVariableList(this);
Synchronize();
m_queryResults = null;
}
private PrologMachine(Program program, Query query)
{
if (program == null)
{
throw new ArgumentNullException("program");
}
if (query == null)
{
throw new ArgumentNullException("query");
}
m_wamMachine = WamMachine.Create(program, query);
m_stackFrames = new PrologStackFrameList(this);
m_arguments = new PrologVariableList(this);
m_temporaryVariables = new PrologVariableList(this);
Synchronize();
m_queryResults = null;
}
internal PrologQueryEventArgs(PrologQueryResults results)
{
m_results = results;
}
internal PrologQueryEventArgs(PrologQueryResults results)
{
m_results = results;
}
private void UpdateQueryResults()
{
PrologQueryResults queryResults = new PrologQueryResults();
queryResults.Variables.Synchronize(GetPermanentVariables(0, true));
QueryResults = queryResults;
}
