I think it might, after the blackbox LLM craze has blazed over and people go back to "AI" that is understandable and can be reasoned about. It comes and goes in waves, I am pretty sure there is gonna be time again for reasearch into a Lisp/Prolog style of AI.