Логическая задача swi prolog

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

База данных содержит факты вида ученик(имя, класс) и увлекается(имя, хобби). Необходимо составить программу, которая подбирает одному из учеников указанного класса, увлекающемуся футболом, пару из других классов и вывести все возможные пары.

ученик(Петя,5).
ученик(Ваня,6).
ученик(Вася,4).
ученик(Маша,4).
ученик(Федя,7).
увлекается(Петя,футбол).
увлекается(Ваня,футбол).
увлекается(Вася,футбол).
увлекается(Маша,рисование).
увлекается(Федя,теннис).

Подскажите, пожалуйста, как правильно составить запрос, который выводит все возможные пары учеников?

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

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

                            ученик(петя,5).
ученик(ваня,6).
ученик(вася,4).
ученик(маша,4).
ученик(федя,7).
увлекается(петя,футбол).
увлекается(ваня,футбол).
увлекается(вася,футбол).
увлекается(маша,рисование).
увлекается(федя,теннис).
                        