same_length/3¶

remove_identical_duplicates(List, Pruned)% removes duplicated elements from List.

same_length(? List1, ? List2)*

True when List1 and List2 are both lists and have the same number of elements. No relation between the values of their elements is implied. Modes same_length(-,+) and same_length(+,-) generate either list given the other; mode same_length(-,-) generates two lists of the same length, in which case the arguments will be bound to lists of length 0, 1, 2, ...