[andai]

I usually check out the GitHub Trending page for a programming language. Amusingly, the project you linked is the only result for Prolog this month on GitHub.

https://github.com/trending/prolog?since=monthly