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