Some examples of Inductive Logic Programming as I play around with Popper
Inductive Logic Programming examples with Popper