3 ms·
is the WAM the best virtual machine for prolog or are there out better and newer approaches?
by nudpiedo 8y ago
is the WAM the best virtual machine for prolog or are there out better and newer approaches?
- fernly 8y agoAlso from the prologue, "Although the WAM is a distillation of a long line of experience in Prolog implementation, it is by no means the only possible point to consider in the design space. For example, whereas the WAM adopts “structure copying” to represent Prolog terms, the “structure sharing” representation used in the Marseille and DEC-10 implementations still has much to recommend it."
- rluble 8y agoThere 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