prolog表处理谓词

表处理谓词

表元素枚举：member(X,L)

其中L为表，X为L中的元素。

表元素的枚举可以采用如下递归子句：

1、首先列举表的第一个元素

 member(X, [X|_]).

2、去掉表的第一个元素，对表尾进行递归处理

 member(X, [_|L]):-member(X, L).

～～～～～～～～～～～～～～～～～～

表元素判断：is_member(X,L)

在已知X的情况下，判断一个元素X是否属于表L的子句与表元素枚举谓词略有不同，其中，当第一个元素与X相同时，可以采用cut谓词阻止进一步的搜索。

 is_member(X, [X|_]):-!.

 is_member(X, [_|L]):-member(X, L).

～～～～～～～～～～～～～～～～～～

表的合并：append(L1, L2, L)

两个表的合成是指将两个表L1, L2的元素并在一起构成一个新表L。例如，表L1=[1,2,3]与表L2=[3,1,2,4]可以合并成一个新表L=[1,2,3,3,1,2,4]，其中新表中前3个元素为第一个表的元素，后4个元素为第二个表的元素。

表的合并可以递归定义如下：

 append([], L, L).

 append([X|L1], L2, [X|L]):-append(L1, L2, L).

第一个子句描述了一个空表与一张表的合并结果就是该表本身；第二个子句描述了当合并两张表时，可以先将第一张表的首元素放入结果表中，然后，将第一张表的表尾与第二张表合并在一起，构成结果表的表尾。

在已知结果表的情况下，表的合并谓词还可以枚举各种情况下子表L1和L2的结果，对于目标：

goal

append(L1, L2, [1,2,3]).

生成的结果如下：

L1=[]; L2=[1,2,3]

L1=[1]; L2=[2,3]

L1=[1,2]; L2=[3]

L1=[1,2,3]; L2=[]