neural network in datalog