intersection(+Sets, -Intersection): the elements of the first list in Sets that are in all of them, in its order (elements compared as ground terms); fails if Sets is empty