Other language for the SWI-Prolog VM

Is there any such effort at the moment? Has anyone tried to compile another language with SWI-Prolog’s VM as a target? Are there technical reasons why this is impossible or impractical?

If such a language existed, would its compiler be written in (SWI-)Prolog?

I’m not aware of anyone trying to compile anything but Prolog to a Prolog VM. There exist hybrid VMs such as for Poplog. A Prolog VM notably addresses unification and backtracking. What kind of language are you thinking about?

Thank you for your answer. I really had nothing in particular in mind.