prolog - 有没有办法巩固事实？

Question

有没有办法把这个:

genre(blues).
gere(hiphop).
genre(rock).

变成这样:

genre(blues;hiphop;rock).

*我知道这行不通，但确实存在类似的东西。

Answer 1

你不能合并事实，但你可以把它们变成一个简单的规则，像这样:

genre(X) :- member(X, [blues, hiphop, rock]).

member/2是 built-in list predicate in SWI测试列表成员资格。