There was substantial research in the 80s and 90s yield a few abstract machines for prolog. Most of them derived from the WAM I believe. See http://www.hpl.hp.c

There was substantial research in the 80s and 90s yield a few abstract machines for prolog. Most of them derived from the WAM I believe. See http://www.hpl.hp.com/techreports/Compaq-DEC/PRL-RR-36.pdf http://www.hpl.hp.com/techreports/Compaq-DEC/PRL-RR-36.pdf