Lists

• member(X,L) True when X is a member of the list L. Instantiates X to different elements in L upon backtracking.

• membchk(X,L) True when X is included in the list L. '==/2' is used to test whether two terms are the same.

• append(L1,L2,L3) True when the L3 is the concatenation of L1 and L2.

• reverse(L1,L2) True when L2 is the reverse of L1.