Knowledge injection of Datalog rules via Neural Network Structuring with KINS