3 ms·

First of all, this is great work! Hopefully, it will implement the Warren Abstract Machine[1] in the future, since it generally leads to more efficient interpre

First of all, this is great work! Hopefully, it will implement the Warren Abstract Machine[1] in the future, since it generally leads to more efficient interpretation. E.g. both SICStus and SWI-Prolog implement a version of the WAM. [1] https://en.wikipedia.org/wiki/Warren_Abstract_Machine https://en.wikipedia.org/wiki/Warren_Abstract_Machine

zmonx 12y ago
SWI-Prolog implements a variant of the ZIP, not the WAM.
- danieldk 12y ago
  Ah, thanks for correcting me. I seem to remember that the documentation said WAM.