Ask HN: Why are there so few logic programming languages like Prolog?
On other non-standard fields (like functional languages) there is a huge variety in implementations. Why is Prolog still the only major example of a logic programming language?
First, miniKanren interpreters have become vogue in some other languages. For example. Clojure has an embedded one: core.logic. Then here are some other full non-embedded languages, like Datalog and Mercury.
There's not going to be as much variety as full-fledged general-purpose programming languages though because it's a more specialized domain with more restricted usage. And, well, Prolog is pretty standard. The question you have to get over is, if you need to use logic programming, why aren't you using Prolog or an embedded miniKanren interpreter?
People who need some variation of Prolog usually add the desired extension on top of Prolog instead of using a different language altogether. This is easy to do in Prolog because its abstract syntax is completely uniform.
So, it's near certain that such an AI (or multiple ones) will be built and used, and from your description, a Prolog-like language might be ideal for this. This is something I'm excited to see in my lifetime.
In my opinion, Prolog is now starting to become interesting. In the Prolog community, the last few decades were spent on researching efficient Prolog implementation techniques and important features like constraints. In the coming decades, we will see many interesting Prolog applications that will benefit from that work.