实现
Prolog是与C语言同时代的语言,曾经AI的三大学派之一符号学派的产物,当然,Lisp也属于这一学派的产物。
...Prolog是明显不同于之前的几种编程语言,它使用的是逻辑范式,使用谓词演算来计算。...(let ((f (lambda (y) (cond ((= y from) buffer) ((= y buffer) to) (else from)))))
(cons...Prolog的转化则值得讲一讲,先把hanoi谓词修改了
hanoi(1,FROM,TO,_,[[FROM,TO]]).
hanoi(N,FROM,TO,BUFFER,S) :-
N>1...而对于其他情况,
我们可以先定义一个turn_list谓词,它跟turn谓词很相似,只是,它处理的对象是单个list
比如turn_list([1,2,3], [[1,10],[2,20],[