发送到s;第三行“解锁”s并将内容发送到std.out。因此,你可以看到ANI的隐式程序排序:因为每一行运行都依赖于上一行,因此,这段代码将按照它编写的顺序执行。...当上面所说流程都完成后,我们将最终得到数字42....你可以在大多数数据库中使用 explain 命令来查看执行计划并弄清楚在引擎下发生了什么。
声明式语言之美在于它们允许你在更高层次的抽象下工作:你的工作就是描述你想要的输出规格。...例如,在Prolog语言中一个简单的数独求解器的代码只需要列出每行,每列,和一个解决的数独难题的对角线应该看起来的样子:
sudoku(Puzzle, Solution) :-
Solution =...下面是如何运行上面的数独求解器:
| ?- sudoku([_, _, 2, 3,
_, _, _, _,
_, _, _, _,
3, 4, _, _],
Solution).