الملخص
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.
الكلمات المفتاحية
الموضوع
بيانات النشر
- المجلة
- غير متاح
- وصول مفتوح
- وصول مفتوح أخضر
اقتبس هذه المقالة
APA 7
Magiera, D., Röhrig, L., & Jäkel, F. (2026). WAMpy: Efficient Synthesis of Prolog Programs in Python. https://omanscience.com/ar/articles/wampy-efficient-synthesis-of-prolog-programs-in-python
MLA 9
Magiera, Dominik, et al. "WAMpy: Efficient Synthesis of Prolog Programs in Python." https://omanscience.com/ar/articles/wampy-efficient-synthesis-of-prolog-programs-in-python.
شيكاغو (المؤلف–التاريخ)
Magiera, Dominik, Lukas Röhrig, and Frank Jäkel. 2026. "WAMpy: Efficient Synthesis of Prolog Programs in Python." https://omanscience.com/ar/articles/wampy-efficient-synthesis-of-prolog-programs-in-python.
هارفارد
Magiera, D., Röhrig, L. and Jäkel, F. (2026) 'WAMpy: Efficient Synthesis of Prolog Programs in Python', Available at: https://omanscience.com/ar/articles/wampy-efficient-synthesis-of-prolog-programs-in-python.
فانكوفر
Magiera D, Röhrig L, Jäkel F. WAMpy: Efficient Synthesis of Prolog Programs in Python. https://omanscience.com/ar/articles/wampy-efficient-synthesis-of-prolog-programs-in-python
IEEE
D. Magiera, L. Röhrig, and F. Jäkel, "WAMpy: Efficient Synthesis of Prolog Programs in Python," https://omanscience.com/ar/articles/wampy-efficient-synthesis-of-prolog-programs-in-python.