Вывести военных, имеющих одинаковые звания - Prolog

Формулировка задачи:

Вывести военных, имеющих одинаковые звания. Как збавиться от реверсных записей?типо : иванов петров петров иванов

                    Листинг программы
                
%армия(фамилия,звание)
...
 
Вопрос:
 армия(Фамилия,Звание),армия(Фамилия1,Звание),Фамилия\=Фамилия1.

Решение задачи: «Вывести военных, имеющих одинаковые звания»

Листинг программы

армия(Фамилия,Звание), армия(Фамилия1,Звание), Фамилия @> Фамилия1.

Объяснение кода листинга программы

Создаются три переменные: Фамилия, Звание и Фамилия1.
Первая и вторая строки кода представляют собой утверждения о том, что в армии есть люди с такими именами и званиями.
Третья строка кода говорит о том, что Фамилия и Фамилия1 имеют одинаковое значение.
Если все три утверждения верны, то вывод будет содержать имена и звания этих людей.