AIMA.Test.Core.Unit.Logic.FOL.UnifierTest.testFailureIfThetaisNull C# (CSharp) Method

        public void testFailureIfThetaisNull()
        {
            Variable var = new Variable("x");
            Sentence sentence = parser.parse("Knows(x)");
            theta = null;
            Dictionary<Variable, Term> result = unifier.unify(var, sentence, theta);
            Assert.IsNull(result);
        }