프롤로그에서 tho 목록의 정확한 변수 찾기

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];... 

이것은 매우 어렵습니다. 그러나 나는 그것을 어떻게 할지를 안다면, 나는 prolog에 아무런 문제가 없을 것이라고 생각한다 :)))

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).