string - Prolog での文字列の順序付け

Question

2 つの文字列を比較して、一方の文字列が他方の文字列より大きいかどうかを確認する方法を知りたいです。

私は平等/不平等を望んでいません。古き良き英数字の順序にしたい。

例: 'aaaa' ,'aaad', 'aaab' 並べ替えは次のようになります: 'aaaa', 'aaab', 'aaad'

また、原子がある場合はどうなりますか？原子を注文するには？(ここでも a=b または a\=b は機能しません。注文が必要です。)

Answer 1

語順述語@<とその仲間を使用します。

?- aaaa @< aaab.
true.

?- aaad @>= aaab.
true.