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