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

авторpredicates
cube(string)
on(string,string)
clauses
cube(а). cube(b). cube(c).
cube(d). cube(e). cube(f).
on(b,c). on(c,d). on(d,e).
on(e,table). on(a,table). on(f,table).
goal

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