def test_select(self):
engine = ComputePlacementEngine()
engine.debug_mode()
engine.insert('p(x) :- q(x)')
engine.insert('q(1)')
ans = engine.select('p(x)')
self.assertTrue(helper.datalog_equal(ans, 'p(1)'))
def test_select(self):
engine = ComputePlacementEngine()
engine.debug_mode()
engine.insert('p(x) :- q(x)')
engine.insert('q(1)')
ans = engine.select('p(x)')
self.assertTrue(helper.datalog_equal(ans, 'p(1)'))