I've never used it but for Java there's https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin ( documentation seem

I've never used it but for Java there's https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin ( documentation seems to be lagging but here's the 3.3 manual https://gitlab.com/pika-lab/tuprolog/2p/-/wikis/uploads/d67e89c81da28d33cf7c8241cc35cab2/tuprolog-guide-3.3.0.pdf https://gitlab.com/pika-lab/tuprolog/2p/-/wikis/uploads/d67e... ) And specifically for Javascript there's http://tau-prolog.org/ http://tau-prolog.org/ Also pretty much every lisp that's gotten past toy stage has a Prolog implementation Although both Sicstus and SWI have strong Java and C(++) interop https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/Mixing-C-and-Prolog.html#Mixing-C-and-Prolog https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.ht... https://www.swi-prolog.org/pldoc/doc_for?object=packages https://www.swi-prolog.org/pldoc/doc_for?object=packages