Prolog访问列表

例子

成员

member/2有签名member(?Elem, ?List)并表示trueifElem是 的成员List。此谓词可用于访问列表中的变量,其中通过回溯检索不同的解决方案。

示例查询:

?- member(X, [1,2,3]).

X = 1 ;

X = 2 ;

X = 3.

?- member(X,[Y]).

X = Y.

?- member(X,Y).

Y = [X|_G969] ;

Y = [_G968, X|_G972] ;

Y = [_G968, _G971, X|_G975] ;

Y = [_G968, _G971, _G974, X|_G978]

...

模式匹配

当您需要访问的索引很小时,模式匹配可能是一个很好的解决方案,例如:

third([_,_,X|_], X).

fourth([_,_,_,X|_], X).

           

以上是 Prolog访问列表 的全部内容, 来源链接: utcz.com/z/327481.html

回到顶部