While Prolog is niche it's still alive and kicking IMO. The go-to example for a 'modern' project is TerminusDB. I'm currently using Prolog for a greenfield expert system project at $work. There's been a bit of a Datalog resurgence as well, you can see it in the Biscuit authz system for example. As a fundamental pillar of logic programming, I don't think it will ever die (akin to Lisp and functional programming). Pure speculation here but I think we might see more interest towards symbolic AI in the coming years coupled with LLMs to ground answers against well-defined knowledge bases, as a sort of anti-hallucination measure.