A Julia package for Prolog-style logic programming.
A Kotlin Multi-Platform ecosystem for symbolic AI
Online, interactive edition of the "Simply Logical" Prolog textbook
GNU-Make-like utility for managing builds and complex workflows
