public void Prefix8()
{
Console.WriteLine("Testing prefix unit ");
BinaryTree ast = PrologTerm("unit ali.");
Assert.AreEqual("unit", ast.Name);
Assert.AreEqual("ali", ast.Right.Name);
}