public void testDPLLSucceedsWithChadCarffsBugReport()
{
KnowledgeBase kb = new KnowledgeBase();
kb.tell("B12 <=> P11 | P13 | P22 | P02");
kb.tell("B21 <=> P20 | P22 | P31 | P11");
kb.tell("B01 <=> P00 | P02 | P11");
kb.tell("B10 <=> P11 | P20 | P00");
kb.tell("~B21");
kb.tell("~B12");
kb.tell("B10");
kb.tell("B01");
Assert.IsTrue(dpll.isEntailed(kb, parser.parse("P00")));
Assert.IsFalse(dpll.isEntailed(kb, parser.parse("~P00")));
}
public bool ask(Sentence query)
{
return(dpll.isEntailed(this, query));
}
