When i was in uni, the course teaching Prolog and Lisp was called "Artificial Intelligence for Engineers".
Man, where was a post like this when I was struggling trying to learn Prolog, modelling something with knights and knaves...
I can see why someone would think prolog could bring an AI wave. Even after messing around with it for a few hours, I feel like there are things I could build in prolog that I couldn’t build in typescript.