public void RetractWithChildrenTest() { KB.Retract(KB.Query + "John" + "loves"); Assert.IsFalse(KB.Query + "John" + "loves" + "Mary"); Assert.IsFalse(KB.Query + "John" + "loves" + "Kelly"); Assert.IsFalse(KB.Query + "John" + "loves"); Assert.IsTrue(KB.Query + "John"); }
public void RetractWildcardTest() { var x = new Variable("x"); KB.Retract(KB.Query + "John" + "loves" + x); Assert.IsFalse(KB.Query + "John" + "loves" + "Mary"); Assert.IsTrue(KB.Query + "John" + "loves" + "Kelly"); Assert.IsTrue(KB.Query + "John" + "loves"); Assert.IsTrue(KB.Query + "John"); }
public void SimpleRetractTest() { KB.Retract(KB.Query + "John" + "loves" + "Mary"); Assert.IsFalse(KB.Query + "John" + "loves" + "Mary"); Assert.IsTrue(KB.Query + "John" + "loves" + "Kelly"); }