כתבה
arXiv cs.AI ·
WAMpy: סינתזה יעילה של תוכניות Prolog בפייתון
WAMpy: Efficient Synthesis of Prolog Programs in Python
WAMpy הוא פריימוורק פייתון לסינתזה של תוכניות Prolog. הוא משפר ביצועים לעומת SWI-Prolog. WAMpy מיועד לעבודות שדורשות יצירה והערכה של תוכניות קטנות.
תקציר מקורי באנגליתarXiv:2610.03234v1 Announce Type: cross Abstract: 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.
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית