WARM Warren Abstract RISC Machine - A RISC modification of the Warren Abstract Machine for compiling & executing Prolog.