Составить группы ребят по интересам. - Prolog

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

Известно, что: Элен любит мороженое; Джон любит читать книги; Том - играть в теннис и футбол; Эрик - смотреть телевизор; Марк любит то же, что Элен и Джон; Боб любит читать книги. Составьте Пролог программу, содержащую эту информацию, в которой должна присутствовать аксиома:” Билл любит то же, что и Том Н~ Программа должна позволять составлять группы ребят по интересам .

Решение задачи: «Составить группы ребят по интересам.»

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

like(elen, icecream).
like(jon, read_books).
like(tom, tennis).
like(tom, football).
like(erik, watch_tv).
like(mark, Do) :-
    like(elen, Do).
like(mark, Do) :-
    like(jon, Do).
like(bob, read_books).
like(bil, Do) :-
    like(tom, Do).
 
group_by_do(I1, Gs) :-
    findall(I, like(_, I), Is),
    sort(Is, Is1),
    member(I1, Is1),
    findall(S, like(S, I1), Gs).

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

like(elen, icecream).
like(jon, read_books).
like(tom, tennis).
like(tom, football).
like(erik, watch_tv).
like(mark, Do) :- like(elen, Do).
like(mark, Do) :- like(jon, Do).
like(bob, read_books).
like(bil, Do) :- like(tom, Do).
group_bydo(I1, Gs) :- findall(I, like(, I), Is), sort(Is, Is1), member(I1, Is1), findall(S, like(S, I1), Gs).