Турнир по теннису без повторяющихся пар - Prolog

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

Здравствуйте помогите решить задачу на visual prolog- составить расписание турнира по теннису для n-го количества игроков (в данном случае у меня 4 игрока), но составить так, чтобы пары не повторялись. Например, если есть пара (paul, peter), то не должно быть пары (peter, paul) и т.п. Примерный код, где пары повторяются:

predicates 
    nondeterm player (symbol).
    nondeterm para (symbol, symbol).
clauses
    player (peter).
    player (paul).
    player (chris).
    player (susan).
    para(P1, P2) :- para(P2, P1), P2<>P1, P1 = P2, !.
goal
    player(P1), player(P2), P1 <> P2.

Решение задачи: «Турнир по теннису без повторяющихся пар»

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

player(P1), player(P2), P1 < P2.

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

Создаются два игрока (P1 и P2)
Проверяется, что P1 меньше P2 (это означает, что P1 будет первым игроком в матче)
В результате получается пара игроков без повторений (P1 и P2)