WAMpy: Python에서 Prolog 프로그램 효율적으로 합성하기

우리는 Prolog 프로그램을 합성하는 데 최적화된 Python 프레임워크인 WAMpy를 소개합니다. 일반적인 목적의 Prolog 시스템과 달리, WAMpy는 작은 후보 프로그램을 반복적으로 생성하고 평가하는 워크로드를 목표로 합니다. WAMpy는 Prolog 절(clause)을 NumPy 배열 기반의 WAM 명령어(instruction)로 컴파일하며, 고정된 배경 지식에 대한 가설의 부분 재컴파일을 지원합니다. 성능이 중요한 루틴은 Numba Just-In-Time (JIT) 컴파일을 사용하여 가속화됩니다. 반복적인 컴파일 및 평가 워크로드 벤치마크에서, WAMpy는 Python에서 Janus를 통해 접근하는 SWI-Prolog 대비 엔드투엔드 성능을 개선합니다.