AIMA.Test.Core.Unit.Logic.FOL.KB.FOLKnowledgeBaseTest.testAddRuleAndFact C# (CSharp) Method

        public void testAddRuleAndFact()
        {
            weaponsKB.tell("(Missile(x) => Weapon(x))");
            Assert.AreEqual(1, weaponsKB.getNumberRules());
            weaponsKB.tell("American(West)");
            Assert.AreEqual(1, weaponsKB.getNumberRules());
            Assert.AreEqual(1, weaponsKB.getNumberFacts());
        }