#程序合成

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

有人拿 Claude Code 和 Codex 写规划程序，成功率达 95%，比手工规划器高还省十倍算力，代码和提示词全开源了。