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)'))