/prolog/problems/sorting/is_sorted_1/