Doesn’t mention Scryer prolog (https://news.ycombinator.com/item?id=28966133) but I’m guessing it’s not meant as an alternative
https://github.com/RussAbbott/pylog
which I found out when I was reading
https://paulgraham.com/onlisp.html
which has a toy Prolog implementation and was wondering if it could be done in Python.
Doesn’t mention Scryer prolog (https://news.ycombinator.com/item?id=28966133) but I’m guessing it’s not meant as an alternative