Sagir Abdu Masanawa, Ibrahim Sani Doro, Bako Deborah. Accurate derivation and efficient implementation of higher order logic programming in Hopfield network. JOBASR. 2026;4(2):391-398. doi:10.4314/jobasr.v4i2.40