def test_failure(self):
result_bc = proplogic.backward_chaining(self.kb.raw_kb, "T")
result_fc = proplogic.forward_chaining(self.kb.raw_kb, "T")
self.assertFalse(result_bc)
self.assertFalse(result_fc)
def test_bc_sample(self):
q = proplogic.backward_chaining(self.kb.raw_kb, "Q")
not_q = proplogic.backward_chaining(self.kb.raw_kb, "!Q")
self.assertTrue(q)
self.assertFalse(not_q)
