Bratko的miniKanren人工智能Prolog编程Bratko s Prolog Programming for AI in miniKanren (2011-04-09, Clojure, 4KB, 下载0次)