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"); }
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"); }