Popper is an inductive logic programming system. Popper combines logical reasoning with machine learning to induce rules from examples and background knowledge. If you use Popper, please cite the ...