That's an unfair metric because prolog was never meant to develope web apps or whatever the majority of use cases is. It's not used in AI either, but I'm glad t

That's an unfair metric because prolog was never meant to develope web apps or whatever the majority of use cases is. It's not used in AI either, but I'm glad to hear for the first time that it's being worked on so chances are there could be more I haven't heard of. And there are similar, reduced systems like kanren. I don't know how coq, lean or other theorem provers compare, but the space is hugely interesting.