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(); }