Axiom.Compiler.Framework.Unit_Tests.PrologCodeParserTest.TestPredicate C# (CSharp) Метод

        public void TestPredicate()
        {
            BinaryTree ast = PrologTerm("ali(X) :- samir.");
            Assert.AreEqual(":-", ast.Name);
            Assert.AreEqual("ali", ast.Left.Name);
            Assert.AreEqual("samir", ast.Right.Name);
            Assert.AreEqual(1, ast.Left.Arguments.Count);
            Assert.AreEqual("X", ((BinaryTree)ast.Left.Arguments[0]).Name);
        }