My understanding of AM and Eurisko (having looked into them a decade or so ago) was that their source code hadn't been published, and that there was a dispute as to what their capabilities actually were and how much was exaggeration by Lenat.

I don't know if that's still the case. I do think that it would be worth creating systems that mix the ANN and GOFAI approaches to AI.