WAMpy: Efficient Synthesis of Prolog Programs in Python

Dominik Magiera, Lukas Röhrig, Frank Jäkel

We present WAMpy, a Python framework optimized for synthesizing Prolog programs. Unlike general-purpose Prolog systems, WAMpy targets workloads that repeatedly generate and evaluat…