neuro-symbolic-learning
Python library that enables using prolog syntax and logic programming in python
Abductive Learning (ABL) toolkit
Emergent Symbol Binding Network - Pytorch
An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.
