Warren Abstract Machine

Prolog's WAM, a concrete VM to support efficient Prolog compilation.