Logtalk - declarative object-oriented logic programming language

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

Polynomial-time Meta-Interpretive Learning

Prolog implementation of microKanren

Explainable machine learning