http://www.jaist.ac.jp/~kiyoshiy/writing/ http://www.jaist.ac.jp/~kiyoshiy/writing/gmachine.pdf 前半だけ読んで、ざっと書いてみました。 Graph-Reductionとか正直分からなかったので、それを考慮して書こうと思ったのですが、普通にちっこいλ式解釈機…

の時代が来ると聞いたので、早速図書館でPrologの技法なる絶版の本を借りてきました。 まぁ誇張しましたが、論理プログラミングとかは知らんので良いかなと。 取りあえずこいつを読んだり。