A high-performance bridge between Scryer Prolog and Python
github.com