2020-12-17 prolog 谓词 append

prolog 的append 谓词操作 

porlog 的append， 手册写的比较含糊：

这里的三种调用方式，第一个好理解，第二、第三其实是一个意思，两种表述： 

1，如果第三个参数是个变量（大写字母开头，中文都行哦），则 把前两个list  连接 Concadation，赋值给该变量

2, 如果第三个参数是一个常量 List， 则判断前两个Concatation 之后，跟第三个是不是相等， 相等就是true， 否则false。比如下面这段：

。。。。。。

 next(h(_,_,horse,_,_),h(_,_,_,_,diploma),Hs).%养马的人和外交官相邻 

next(A, B, Ls) :- append(_, [A,B|_], Ls).
next(A, B, Ls) :- append(_, [B,A|_], Ls).

。。。。。。

 

这里面的next 谓词，就是用了append 的第二个含义做出来的。里面的 List 的 _ 用得很巧妙， 而且注意他是左右判断