?- rest([1,2,3], T).
T = [2, 3].

?- last_element([1,2,3], T).
T = 3.

?- write_list([1,2,3], L).
1
2
3
true.

?- write_list_reversed([1,2,3], L).
3
2
1
true.

?- size([1,2,3], L).
L = 3.

?- count(it,[it,bit,fit,it,lit,pit],L).
L = 2.

?- element_of(X,[it,bit,fit]).
X = it.

?- contains([it,bit,pit],it).
false.

?- nth(3,[how,are,you],Element).
Element = how.

?- pick([it,bit,slit], Ele).
Ele = bit.

?- sum([1,2,3], L).
L = 6.

?- make_list(3, Alikeju, List).
List = [Alikeju, Alikeju, Alikeju].

?- iota(3, Iota).
Iota = [1,2,3].

?- add_first([1,[2,3],L).
L = [1,2,3].

?- add_last([1,[2,3],L).
L = [1,2,3].

?- esrever([1,2,3], L).
L = [3, 2, 1].

?- join_lists([hi,how],[are,you], L).
L = [hi, how, are, you].

?- join_lists([hi,how],[are,you], [today,bob], L).
L = [hi, how, are, you, today, bob].

?- join_lists([hi,how],[are,you], [today,bob], [you,look,great], L).
L = [hi, how, are, you, today, bob, you, look, great].

?- product([1,3,3],L).
L = 9.

?- factorial(7, F).
F = 5040.

?- make_set([b,b,c,c,d,d,e,e], F).
F = [b,c,d,e].

?- replace(2,stressed,[i,am,happy],L).
L = [i,am,stressed].

?- remove(3,[1,2,3],L).
L = [1,2].

?- take([1,2,3], 2, L).
L = [1,3].

?- split([[one,un],[two,deaux],[three,trois]],A,B).
A = [one, two, three],
B = [un, deaux, trois].

?- min_pair(2,4,L).
L = 2.

?- max_pair(2,4,L).
L = 4.

?- min([1,2,4],L).
L = 1.

?- max([1,2,4],L).
L = 1.

?- sort_inc([2,8,1,4],L).
L = [1,2,4,8].

?- sort_dec([2,8,1,4],L).
L = [1,2,4,8].

?- a_list([a,b,c,d],[1,2,3,4],AssociationList).
AssociationList = [pair(a,1),pair(c,3),pair(d,4),pair(b,2)].

?- assoc([pair(b,2),pair(a,1)],a,Value).
Value = 1.

?- halt.