No, David King is not a Hall of Fame inductee. He was nominated for the Hall of Fame in 2015, but he was not inducted. He is still considered to be one of the greatest players of all time, and he is likely to be inducted into the Hall of Fame in the future.
Cracking the Code: Exploring the Dominance of David King in American Football