资料下载
prolog表处理谓词
dayuqi
分享资料个
表元素枚举：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=[]
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
- 相关下载
- 相关文章
