Логическая задача - Prolog (226973)

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

Помогите пожалуйста реализовать задачу в prolog! Интересно посмотреть на код описания предикатов и фактов Беседуют трое друзей: Белокуров, Рыжов и Чернов. Брюнет сказал Белокурову: «Любопытно, что один из нас блондин, другой брюнет, третий - рыжий, но ни у кого цвет волос не соответствует фамилии». Какой цвет волос у каждого из друзей?

Решение задачи: «Логическая задача»

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

permutation1([], []).
permutation1(List, [First|Perm]) :-
        select1(First, List, Rest),
        permutation1(Rest, Perm).
        
select1(X, [X|Tail], Tail).
select1(Elem, [Head|Tail], [Head|Rest]) :-
        select1(Elem, Tail, Rest).

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

Код представляет собой реализацию функции permutation1, которая генерирует все возможные перестановки элементов входного списка. Входной список представлен переменной List, а выходной список — переменной Perm.

permutation1([], []). Это базовый случай, когда входной список пуст. Функция permutation1 возвращает пустой список [ ] в качестве результата.
permutation1(List, [First|Perm]) :- Это общий случай, когда входной список не пуст. Функция permutation1 выбирает первый элемент из списка List и помещает его в начало списка Perm. Затем функция рекурсивно вызывает себя для оставшейся части списка List, чтобы сгенерировать все возможные перестановки.
select1(X, [X|Tail], Tail). Это базовый случай для функции select1. Если элемент X совпадает с первым элементом списка List, функция select1 возвращает список Tail, исключая первый элемент.
select1(Elem, [Head|Tail], [Head|Rest]) :- Это общий случай для функции select1. Если элемент Elem не совпадает с первым элементом списка List, функция select1 рекурсивно вызывает себя для оставшейся части списка Tail, чтобы выбрать следующий элемент. Результатом является список Rest, который содержит все элементы, кроме первого. Таким образом, данный код генерирует все возможные перестановки элементов входного списка, используя рекурсивный подход и два вспомогательных правила, permutation1 и select1.