表處理謂詞

表元素枚舉：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=[]