PyDatalog汇总功能排序依据

Question

我试图弄清楚如何在pyDatalog中排序整个表。

from pyDatalog import pyDatalog;

pyDatalog.create_terms('X,Y, foo, bar')

+ foo(10, 'Abc')
+ foo(2, 'Xyz')
+ foo(3, 'Bcd')

(bar[1] == min_(Y, order_by=X)) <= foo(X, Y)
print(bar[1] == X)

输出：Xyz

如何将所有foo按其名称排序并打印出来？ 喜欢：       Abc       光盘       Xyz

有没有办法将它们降序排列？我尝试使用order_by = - X，但这没用。 我也尝试过：

(bar[Y] == min_(Y, order_by=X)) <= foo(X, Y)
print(bar[Y] == X)

有什么想法吗？