# WAMpy: Efficient Synthesis of Prolog Programs in Python

arXiv: https://arxiv.org/abs/2610.03234 · HTML: https://mlsanity.com/paper/2610.03234/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 0 of its 5 references that are in the map.
- First posted on arXiv 2 Oct 2026.

## Abstract (arXiv)

We present WAMpy, a Python framework optimized for synthesizing Prolog programs. Unlike general-purpose Prolog systems, WAMpy targets workloads that repeatedly generate and evaluate small candidate programs. WAMpy compiles Prolog clauses into NumPy array-based WAM instructions and supports partial recompilation of hypotheses against fixed background knowledge. Performance-critical routines are accelerated using Numba just-in-time (JIT) compilation. In a benchmark of repeated compilation-and-evaluation workloads, WAMpy improves end-to-end performance compared with SWI-Prolog accessed from Python using Janus.