public void DotTest()
{
Write("dot.txt", " . ");
StreamReader stream = new StreamReader("C:\\dot.txt");
scanner = new PrologScanner(stream);
scanner.Next();
Assert.AreEqual(PrologToken.DOT, scanner.Current.Kind);
stream.Close();
}