SWI-Prolog -- sort/4

Documentation
- Reference manual
  - Built-in Predicates
    - Built-in list operations
      - is_list/1
      - memberchk/2
      - length/2
      - sort/2
      - sort/4
      - msort/2
      - keysort/2
      - predsort/3
- Packages

dt class="pubdef">sort(+Key, +Order, +List, -Sorted)