wamcompiler:基于沃伦抽象机的Prolog实现 源码

自述文件 这是用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つくっ