prolog - PROLOG プログラムのルールとファクトをリストに結合するにはどうすればよいですか?

Question

すべての Intel プロセッサのすべてのリリース日のリストを見つけようとしています。このように見えるはずです

[1993 年、1976 年、1974 年、1971 年]

現在、このようなエントリが 1 つのリストしか作成できません

setof(Y,released(pentium,Y),S1)それは私に[1993]を与えます。

prozessor(i4004).
prozessor(i8080).
prozessor(z80).
prozessor(i8086).
prozessor(a486).
prozessor(pentium).
prozessor(k5).
intel([i4004,i8080,i8086,pentium])
zylog([z80]).
amd([a486,k5]).

released(i4004, 1971).
released(i8080, 1974).
released(z80,1976).
released(i8086,1976).
released(a486,1991).
released(pentium,1993).
released(k5,1996).

influence(i4004,i8080).
influence(i8080,i8086).
influence(i8086,pentium).
influence(i8080,z80).
influence(i8086,a486).
influence(a886,k5).