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 all involved 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.
Thank you everyone who contributed for all your work on Pyrolog, and I hope that, as hinted in the article, progress resumes at one point!
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 all involved systems.
CTM mentioned https://webperso.info.ucl.ac.be/~pvr/book.html
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.