Return to Issue Details Accurate derivation and efficient implementation of higher order logic programming in Hopfield network Download Download PDF