GitHub repository: logic-and-learning-lab/Popper
Primary language: Python
Description: An inductive logic programming system