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

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