dram.me

miniKanren学习

基于在Scheme中实现Prolog的讨论,开始学习miniKanren,虽然miniKanren的资料非常丰富,但入门的门槛依然有点高。可能是以下原因:

入门材料

以下是我整理的入门材料(前提是具备Scheme和Prolog基础):

陷阱

几个容易踩的坑: