关于Warren的Abstract Machine(实现Prolog编译器的事实标准)的简短教程。