Exemplos de KB.RetractAll em C# (CSharp)

Exemplo n.º 1

        public void RetractAllEndingWildcardTest()
        {
            var x = new Variable("x");

            KB.RetractAll(KB.Query + "John" + "loves" + x);
            Assert.IsFalse(KB.Query + "John" + "loves" + "Mary");
            Assert.IsFalse(KB.Query + "John" + "loves" + "Kelly");
            Assert.IsTrue(KB.Query + "John" + "loves");
            Assert.IsTrue(KB.Query + "John");
        }

Exemplo n.º 2

        public void RetractAllPatternTest()
        {
            var x = new Variable("x");

            KB.RetractAll(KB.Query + x + "loves" + x);
            Assert.IsTrue(KB.Query + "John" + "loves" + "Mary");
            Assert.IsTrue(KB.Query + "Kelly" + "loves" + "Mary");
            Assert.IsTrue(KB.Query + "John" + "loves" + "Kelly");
            Assert.IsTrue(KB.Query + "John" + "loves");
            Assert.IsTrue(KB.Query + "John");
            Assert.IsFalse(KB.Query + "Newt" + "loves" + "Newt");
        }