Чем отличаются условия запроса и преобразования
данный набор данных
t(a,b)
t(b,f)
t(c,d)
t(d,e)
t(e,f)
И набор правил
top(X) :- t(X,Y) & ~t(Z,X)
В
top просмотреть возврат
top(a)
top(c)
top(d)
top(e)
Но когда я использую трансформ
topbytranform(X) если
t(X,Y) & ~t(Z,X), это добавит
topbytranform(a)
topbytranform(c)
Преобразование имеет смысл, в то время как запрос для меня не имеет смысла. ссылка на скриншот трансформации