AIMA.Test.Core.Unit.Logic.Propositional.Algorithms.PLResolutionTest.testPLResolveWithOneLiteralSentencesMatching C# (CSharp) Метод

        public void testPLResolveWithOneLiteralSentencesMatching()
        {
            Sentence one = (Sentence)parser.parse("A");
            Sentence two = (Sentence)parser.parse("(NOT A)");
            // Sentence expected =(Sentence) parser.parse("(A OR C)");
            List<Sentence> resolvents = resolution.plResolve(one, two);
            Assert.AreEqual(1, resolvents.Count);
            Assert.IsTrue(resolvents.Contains(new Symbol("EMPTY_CLAUSE")));
        }