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)