What are the top Prolog repos?

Popular Prolog repositories on GitHub, each answered in plain English for non-coders: what it is, its tech stack, and how to run it.

nasa-jpl/open-source-roverA complete open-source guide to building your own six-wheeled Mars rover at home using the same driving mechan