Check out Paul Tarau's "A Hitchhiker's Guide to Reinventing a Prolog Machine" Slides: https://software.imdea.org/Conferences/CICLOPS2017/files/tarau_ciclops17.

Check out Paul Tarau's "A Hitchhiker's Guide to Reinventing a Prolog Machine" Slides: https://software.imdea.org/Conferences/CICLOPS2017/files/tarau_ciclops17.pdf https://software.imdea.org/Conferences/CICLOPS2017/files/tar... Paper: https://drops.dagstuhl.de/opus/volltexte/2018/8453/pdf/OASIcs-ICLP-2017-10.pdf https://drops.dagstuhl.de/opus/volltexte/2018/8453/pdf/OASIc... - - - - The canonical method is teh WAM: https://en.wikipedia.org/wiki/Warren_Abstract_Machine https://en.wikipedia.org/wiki/Warren_Abstract_Machine