nil

[img]http://dl.iteye.com/upload/attachment/0076/6860/361e23b1-b393-3719-b177-c0af8dace490.png[/img]地图着色，要求相邻的州之间不能同色。有red，green，blue可用。prolog解决代码：[code="prolog"]different(red, green). differ...

一道常见的填字游戏题目，题目如下：[img]http://dl.iteye.com/upload/attachment/0076/6822/7020ef5d-2176-3cb0-b976-fa44c8a60175.png[/img]在上面的白色方框内填入适合的单词，可供选择的单词有：dog,run,top,five,four,lost,mess,unit,baker,forum,green...

core.logic是miniKanren的一个实现。miniKanren中一个重要的概念就是goal，根据goal来推测可能的结果，这就是它的核心概念。一、Core.logic的基本语法：[code="clojure"] (run* [logic-variable] logic-expressions);;或者(run 1 [logic-variable]...