isksk的专栏

Io和Ruby（前两章的语言，后续会补上）被称为命令式语言。命令式语言就是我们需要准确的告诉计算机怎么完成一件任务，每一个细节都需要我们设计好。但是Prolog不同，它是一门声明式语言，我们只需要给他一些事实（fact）和推论（inference），并让他为我们推断。我们不需要告诉电脑怎么做，电脑会自动做出推断。         1  关于Prolog         Prolog是一门逻辑编

1  递归 首先来看一个知识库： father(zeb,john_boy_sr). father(john_boy_sr,john_boy_jr). ancestor(X,Y):-father(X,Y). ancestor(X,Y):-father(X,Y),ancestor(Z,Y). 规则ancestor/2有两个子句。如果一个规则由多个子句组成，那么其中一个子句为真，则这个规则为真。

今天来看几个详细的例子，看看Prolog怎么解决具体问题的。 1  解决数独问题 首先我们要明白Prolog的解题思路：我们只需要提供游戏规则即可。游戏规则如下：valid([]). valid([Head|Tail]):-fd_all_different(Head),valid(Tail). 对于一个已经解决了的难题，难题中的数字与解决方法中的数字应该相同。数独的题板是一个有着