Example #1
0
 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)'))