public void ReconsultString(string text)
{
using (var sr = new StringReader(text))
{
string saveFileName = Prolog.CurrentSourceFile;
int savedLineNumber = Prolog.CurrentSourceLineNumber;
try
{
Prolog.CurrentSourceFile = null;
Prolog.CurrentSourceLineNumber = 0;
Reconsult(sr);
}
finally
{
Prolog.CurrentSourceFile = saveFileName;
Prolog.CurrentSourceLineNumber = savedLineNumber;
}
}
}