public void Reconsult(TextReader inStream)
{
if (sourceFiles.Contains(Prolog.CurrentSourceFile))
{
// Remove any clauses asserted previously by this file.
if (Prolog.CurrentSourceFile != null)
foreach (var pair in db)
{
var info = pair.Value;
if (info != null)
info.Entries.RemoveAll(kbe => kbe.SourceFile == Prolog.CurrentSourceFile);
}
}
Consult(inStream);
}