Text this: Discrete hopfield neural network in restricted maximum k-satisfiability logic programming