(Prolog) Определить отношение для нахождения списка пар

[Owns]

Prolog

Определить отношение belongs(Pairs) для нахождения списка пар вида «фигура»-«список окружающих фигур». (считать, что если есть факты contains(A, B), contains(B, C), то фигура С принадлежит фигуре А). Нужно Использовать динамическую БД, предикаты генерации списков, за исключением предикатов библиотеки aggregate.

У меня не получается сделать это задание. Помогите пожалуйста

figure(square1, red).
figure(circle, red).
figure(triangle, blue).
figure(rectangle, green).
figure(diamond, purple).
figure(square2, green).
figure(trapezium1, black).
figure(hexagon, grow).
figure(trapezium2, yellow).
figure(octagon, purple).
figure(trapezium3, red).

contains(square1, rectangle).
contains(circle, diamond).
contains(square1, hexagon).
contains(trapezium2, square2).
contains(trapezium1, triangle).
contains(triangle, square2).
contains(trapezium1, rectangle).
contains(octagon, trapezium3).
contains(rectangle, triangle).
contains(trapezium3, circle).
contains(trapezium3, square1).


figure_list(_) :- contains(A, B),
	(	retract(contains(A-C))
    -> 	M = C
    ; 	M = []
    ),
    assertz(contains(A-[B|M])),
    fail.
figure_list(List) :- extract_names(List).

belongs(Pairs) :-
    setof(Contains-Figure,
    	bagof(C, contains(Contains, C), Figure),
    	Pairs
	).