Higher Order Logic Programming in Radial Basis Function Neural Network