Text this: Enhanced Hopfield Neural Networks With Artificial Immune System Algorithm For Satisfiability Logic Programming