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

        public void testKnows3()
        {
            Sentence query = parser.parse("Knows(John,x)");
            Sentence johnKnowsJane = parser.parse("Knows(y,Mother(y))");
            Dictionary<Variable, Term> result = unifier.unify(query, johnKnowsJane, theta);

            Assert.AreEqual(2, result.Count);

            List<Term> terms = new List<Term>();
            terms.Add(new Constant("John"));
            Function mother = new Function("Mother", terms);
            Assert.AreEqual(mother, theta[new Variable("x")]);
            Assert.AreEqual(new Constant("John"), theta[new Variable("y")]);
        }