I would say that AI eventually went entirely different direction, instead of trying to specify some set of symbolic rules encoding knowledge, we currently throw

I would say that AI eventually went entirely different direction, instead of trying to specify some set of symbolic rules encoding knowledge, we currently throw lots of data at layered neural networks. So, if prolog has future, it probably is outside of AI research. I would say, that verifying is one of the places where logic programming never went away. I.e if you ever wanted to write type checker of protocol verification, you might write an embedded prolog first.