Top 3 prolog-implementation open source projects

Logica is a logic programming language that compiles to StandardSQL and runs on Google BigQuery.

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

⚔️ Game of Thrones character database and family trees in Prolog