> There are things we used to call AI, like inference engines, that were and are phenomenally successful (not to mention easier to implement). Type inference in modern programming languages, for instance, still uses the GOFAI technique of unification to solve for unspecified types of variables in a program.

Okay. I don't see how these application domains have anything to do with “AI” in the sense of something that resembles human reasoning in any given subarea (like pattern recognition, language).