test_basics.py 文件源码

def test_cut(self):

        self.parser.compile_file('samples/cut_test.pl', UNITTEST_MODULE)

        # self.rt.set_trace(True)

        clause = self.parser.parse_line_clause_body(u'bar(R, X)')
        logging.debug(u'clause: %s' % clause)
        solutions = self.rt.search(clause)
        logging.debug('solutions: %s' % repr(solutions))
        self.assertEqual (len(solutions), 4)
        self.assertEqual (solutions[0]['R'].s, "one")
        self.assertEqual (solutions[1]['R'].s, "two")
        self.assertEqual (solutions[2]['R'].s, "many")
        self.assertEqual (solutions[3]['R'].s, "many")

    # @unittest.skip("temporarily disabled")