An inductive logic programming system. Contribute to logic-and-learning-lab/Popper development by creating an account on GitHub.