prolog - 带有多个谓词的 Prolog setOf

Question

在我的序言数据库中，我有以下事实：

played('Sharon rose', piano).
played('Robert Kay', piano).
played('Kelvin Cage', drums).
singer('Robert Kay').
band_leader('Sharon rose').

我想将所有名称唯一地打印为一个列表。

下面是我使用 setof 的查询和输出：

setof(X, (played(X,_);singer(X);band_leader(X)), Output).

Output = ['Robert Kay','Sharon rose'] ? ;

Output = ['Kelvin Cage'] ? ;

Output = ['Robert Kay','Sharon rose']

yes

但是，输出不是我想要的。我希望它以列表的形式唯一地打印出名称。

Answer 1

由于 的目标参数中的匿名变量，您会得到多个答案setof/3。改为尝试：

?- setof(X, Y^(played(X,Y);singer(X);band_leader(X)), Output).