Вы, вероятно, хотите посмотреть на predsort
. Для этого вам нужно создать предикат, который выполняет сравнения для ваших элементов списка.
Например:
compareAvg(X, [_,A1], [_,A2]) :- compare(X, A1, A2).
тогда вы можете позвонить
predsort(compareAvg, [[1,2],[3,1],[5,3]],X).