Comment by mhewett

The Warren Abstract Machine has a bunch of Prolog-related opcodes mixed in with a bunch of opcodes for maintaining linked lists and other data structures. Once you figure that out the WAM becomes slightly easier to understand.