pytholog (pypi): Logic Programming in Python
Keywords: backtracking|logic-programming|neuro-symbolic-learning|prolog|prolog-syntax|python|symbolic-artificial-intelligence