Hi Eric,
Let me clarify:
The same motivation for making Scala and Clojure a JVM language – to seamlessly benefit from the immense Java ecosystem – could drive making Prolog a JVM language.
Note both Clojure and Scala are multi-paradigm language supporting Object Orientation as well as functional programming styles – i.e. the language designers found a way to seamlessly integrate these.
So, perhaps, one approach to make Prolog more used in industry is to define a multi-paradigm approach that seamlessly integrates with the JVM ecosystem.
The same goes for the .NET ecosystem – another ecosystem another ball game (F# – another multi-paradigm language – analogous to Scala).
hope i am making sense,
Dan