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).