Variable Assignment Invariant Neural Networks for Learning Logic Programs