Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks