It could be very interesting to discuss different Python-based implementation approaches with the author, and I hope this may be an interesting area for future work benefiting both systems.
I can deeply respect working on such a project, knowing its more of a research project and may end in no real use case. Its important work that is not thankful and little appreciated.
Directly or/and indirectly, led to improvements to RPython/PyPy, experiments/advances in programming languages design/implementations, etc. Many research projects are like that.
There is one more recent Python-based Prolog implementation called Clausal Prolog:
https://clausal.pl
It could be very interesting to discuss different Python-based implementation approaches with the author, and I hope this may be an interesting area for future work benefiting both systems.