ABductive Learning (ABL) is a paradigm that integrates machine learning and logical reasoning in a unified framework. To facilitate the research and application of abductive learning, a research team ...