找到確切的變量壽名單序言

Question

我認爲這個問題必須得到解決:)）

concert(dtatu, [jack, volker, rachel]). 

concert(tmegadeth, [volker, rachel]). 

concert(ssoad, [kurt, rachel]). 

concert(trbeyonce, [kurt,jack,volker]). 

我要實現的謂詞audiance（L1，L2）。返回觀看L1中所有演唱會的所有人（L2）的名單。列表L1和L2不得包含任何重複項。

audiance([tatu,beyonce],X). returns X=[jack,volker] 

audiance(X,[volker,rachel]). returns X=[tatu,megadeth] 

audiance(X,[kurt,volker,rachel]) 

audiance([tatu, beyonce],[jack, volker]) returns true 

audiance(X,Y). returns X=[tatu], Y=[jack, volker, rachel]; X=[megadeth, soad], Y=[rachel];... 

這對我來說很難。但我認爲如果我知道如何去做，我就不會遇到任何序言:)）

Answer 1

爲避免重複，首先可以從子句數據庫中提取所有執行者，並查找特定的一組表演。解決方案如下：

subset([], []). 
subset(Xs, [_|Ys]) :- subset(Xs, Ys). 
subset([X|Xs], [X|Ys]) :- subset(Xs, Ys). 

allPerformers(Ts) :- findall(T, concert(T, _), Ts). 
performers(T) :- allPerformers(Ts), subset(T, Ts). 

audience1([T], L) :- concert(T, L). 
audience1([T|Ts], L) :- concert(T, L0), audience1(Ts, L1), intersection(L0, L1, L). 

audience(X, Y) :- performers(X), audience1(X, Y).