Ordenar cadenas en Prolog

Question

Quiero saber cómo puedo comparar dos cadenas que me dicen si una cadena es mayor que la otra, o no.

No quiero igualdad/desigualdad. Quiero tener el buen orden alfanumérico antiguo.

Ejemplo: 'AAAA', 'EAAA', 'aaab' del ordenadas deben: 'AAAA', 'aaab', 'EAAA'

Además, lo que si tengo átomos? Cómo ordenar átomos? (nuevamente a = b o a \ = b no hace el trabajo, necesito orden.)

Answer 1

Use los predicados de ordenamiento de términos @< y sus amigos.

?- aaaa @< aaab. 
true. 

?- aaad @>= aaab. 
true.