?- last([a, b, c], X). X = c. %järjekorranumbri järgi ?- nth0(0, [a, b, c], X). X = a. ?- nth0(1, [a, b, c], X). X = b. ?- nth0(2, [a, b, c], X). X = c. ?- member(a, [a, b, c]). true ; false. ?- member(u, [a, b, c]). false. ?- append([d], [a, b, c], V). V = [d, a, b, c]. ?- append([a, b, c], [d], V). V = [a, b, c, d]. %kas b järgneb a-le ?- nextto(a, b, [a, b, c]). true ; false. ?- nextto(s, b, [a, b, c]). false. ?- reverse([a, b, c], V). V = [c, b, a]. ?- length([a, b, c], P). P = 3. ?- permutation([a, b, c], V). V = [a, b, c] ; V = [a, c, b] ; V = [b, a, c] ; V = [b, c, a] ; V = [c, a, b] ; V = [c, b, a] ; false. ?- flatten([a, [b, c]], V). V = [a, b, c]. ?- min_list([3, 1, 2], V). V = 1. ?- max_list([3, 1, 2], V). V = 3. ?- numlist(3, 6, V). V = [3, 4, 5, 6]. ?- sort([b, c, a], V). V = [a, b, c]. ?- sort([3, 1, 2], V). V = [1, 2, 3]. ?- is_set([a, b, c]). true. ?- is_set([a, b, c, b]). false. ?- list_to_set([a, b, c, b], V). V = [a, b, c]. ?- union([a, b, c], [b, c, d], V). V = [a, b, c, d]. ?- intersection([a, b, c], [b, c, d], V). V = [b, c]. ?- subtract([a, b, c], [b, c, d], V). V = [a]. ?- subset([a, b], [a, b, c]). true. ?- subset([a, b, d], [a, b, c]). false.