I don't know how much research is going into Prolog itself, but there are logic programming languages that have seen active development recently, like Mercury h

I don't know how much research is going into Prolog itself, but there are logic programming languages that have seen active development recently, like Mercury https://mercurylang.org/ https://mercurylang.org/