Define the predicate split/4( List, SplitPoint, Smaller, Bigger) where List, Smaller, and Bigger are lists of integers, and SplitPoint is an integer, such that all the elements of List that are less than SplitPoint are elements of Smaller, and all the elements of list that are greater than SplitPoint are elements of Bigger.