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?