Как сортировать по ключу и значению в SICStus Prolog?

Question

У меня есть список, как

L = [0-4, 0-3, 3-5, 1-2] 

, и я хотел бы, чтобы отсортировать список по ключу и значению, так что результат будет

L = [0-3, 0-4, 1-2, 3-5] 

Я нашел keysort, но он сортирует только по ключу. Я могу написать этот вид сам, но мне нужно эффективное решение.

Answer 1

вызов сортировки/2 (или msort/2, если вы хотите сохранить дубликаты)

?- sort([0-4, 0-3, 3-5, 1-2], S). 
S = [0-3, 0-4, 1-2, 3-5].