# Other language for the SWI-Prolog VM

**URL:** <https://swi-prolog.discourse.group/t/other-language-for-the-swi-prolog-vm/3630>\
**Category:** General\
**Created:** [February 21, 2021, 11:42am UTC](https://swi-prolog.discourse.group/t/other-language-for-the-swi-prolog-vm/3630 "2021-02-21T11:42:47Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![Boris](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/boris/32/7486_2.png) [@Boris](https://swi-prolog.discourse.group/u/Boris)\
**Post date:** [February 21, 2021, 11:42am UTC](https://swi-prolog.discourse.group/t/other-language-for-the-swi-prolog-vm/3630/1 "2021-02-21T11:42:47Z")

</div>

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?

---

<div class="post-metadata">

**Author:** ![jan](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/jan/32/4_2.png) [@jan](https://swi-prolog.discourse.group/u/jan)\
**Post date:** [February 21, 2021, 2:12pm UTC](https://swi-prolog.discourse.group/t/other-language-for-the-swi-prolog-vm/3630/2 "2021-02-21T14:12:43Z")

</div>

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?

---

<div class="post-metadata">

**Author:** ![Boris](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/boris/32/7486_2.png) [@Boris](https://swi-prolog.discourse.group/u/Boris)\
**Post date:** [February 22, 2021, 4:22am UTC](https://swi-prolog.discourse.group/t/other-language-for-the-swi-prolog-vm/3630/3 "2021-02-22T04:22:47Z")

</div>

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