I personally like Prolog’s syntax. It has a good mix of consistency and flexibility. Unfortunately, people love to hate it. And the comma vs full-stop problem is obnoxious in version control tools. I ...

Pytholog is a Python library that enables logic programming in Python, mimicking Prolog syntax and backtracking. This project aims to explore ways to combine symbolic reasoning with machine learning.