【文件属性】：
文件名称：wamcompiler：基于沃伦抽象机的Prolog实现
文件大小：23KB
文件格式：ZIP
更新时间：2021-01-31 14:14:32
compiler common-lisp prolog wam warren-abstract-machine
自述文件
这是用Common Lisp编写的prolog编译器，它将prolog代码编译为Warren抽象机（WAM）的字节码。
我建议使用Steel Bank Common Lisp（SBCL）。 要启动REPL，请评估以下表达式：
( load " wamcompiler.lisp " )
(repl)
输入“;” 显示下一个解决方案，“ y”停止查找解决方案，或“ a”显示所有解决方案。
要显示已编译的字节码，请评估以下表达式：
(show-wamcode " predicate-name " predicate-arity)
该程序的文章（日语）：“すごいPrologつくって学ぼう？！” pp.23-37
参考文献
抽象的序言说明集（日语翻译）
原文： ：
沃伦的抽象机：教程重建
【文件预览】：
wamcompiler-master
----wamcompiler.lisp(96KB)
----prelude.pl(2KB)
----gram.pl(293B)
----fibo.pl(407B)
----LICENSE(1KB)
----run.sh(73B)
----README.md(917B)
----make-pp.py(2KB)
----instructions.txt(903B)