Пожалуйста, помогите выполнить контрольную работу. Некоторые задания я выполнил, а вот с остальными не могу разобраться.

Вот задание:

Дан фрагмент программы на Прологе. Отношение cube(X) говорит о том, X является кубиком. Отношение on(X,Y) – о том, что X лежит непосредственно на Y. Из некоторых кубиков построена башня. Остальные лежат на столе.    



Переведите на Пролог следующие запросы.

• Какой кубик лежит сразу на кубике a? - on(x, a)
• Какой кубик лежит сразу под кубиком c? – on(c, x)
• Лежит ли на b хоть один кубик? – on(_, b)
• Вывести все кубики, которые оказались не в башне.
• Вывести все кубики, которые находятся в башне.
• Какой кубик в башне самый нижний?
• Какой кубик в башне самый верхний?

Что означают следующие запросы? Какие ответы на них выдаст Пролог? 

• on(X,table).
• on(X,_).
• on(_,X).
• on(_,_). –Что-то лежит на чём-нибудь.
• cube(X),on(_,X).
• cube(X),not(on(X,_)).
• cube(X),not(on(_,X)).
• on(c,X), on(Y,c).
• on(X,d), on(Y,X).
• cube(X),cube(Y),on(Y,X).