remove_duplicates/3¶

remove_duplicates(+ List, ? Pruned)*

Removes duplicated elements from List. Beware: if the List has non-ground elements, the result may surprise you.

/ remove_duplicates(+List, Pruned) % removes duplicated elements from List. Beware: if the List has % non-ground elements, the result may surprise you.