Slide 1 1 Part 1 The Prolog Language Chapter 9 Operations on Data Structure Slide 2 2 9.1 Sorting lists A list can be sorted if there is an ordering relation between…