自述文件 这是用Common Lisp编写的prolog编译器，它将prolog代码编译为Warren抽象机（WAM）的字节码。 我建议使用Steel Bank Common Lisp（SBCL）。 要启动REPL，请评估以下表达式： ( load " wamcompiler.lisp " ) (repl) 输入“;” 显示下一个解决方案，“ y”停止查找解决方案，或“ a”显示所有解决方案。 要显示已编译的字节码，请评估以下表达式： (show-wamcode " predicate