Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
私は次のようなリストを持っています
L = [0-4, 0-3, 3-5, 1-2]
リストをキーと値でソートしたいので、結果は次のようになります
L = [0-3, 0-4, 1-2, 3-5]
キーソートを見つけましたが、キーでのみソートされます。私は自分で並べ替えを書くことができますが、効率的な解決策が必要です。
sort/2 を呼び出します (または、重複を保持したい場合は msort/2 を呼び出します)
?- sort([0-4, 0-3, 3-5, 1-2], S). S = [0-3, 0-4, 1-2, 3-5].