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