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