Popper: An inductive logic programming system

GitHub - logic-and-learning-lab/Popper: An inductive logic programming system