public void Parse_Clause_1_Goal_Arity0() { BinaryTree ast = PrologTerm("ali :- samir."); Assert.AreEqual(":-", ast.Name); Assert.AreEqual("ali", ast.Left.Name); Assert.AreEqual("samir", ast.Right.Name); }