private BinaryTree PrologTerm(string s)
{
// Try to parse 'predicate.'
Write("parsertest.txt", s);
StreamReader sr = new StreamReader("C:\\parsertest.txt");
PrologCodeParser parser = new PrologCodeParser();
parser.Scanner = new PrologScanner(sr);
BinaryTree ast = parser.Term(1200);
sr.Close();
File.Delete("C:\\parsertest.txt");
return ast;
}