#Numba

要在 Python 里批量生成和测试 Prolog 程序的人可以看看，用 NumPy 加 Numba JIT 重写了编译执行，比从 Python 调 SWI-Prolog 快。