Prolog 如何使bagof只给出一个解决方案?

Prolog 如何使bagof只给出一个解决方案?,prolog,Prolog,我有以下谓词: color(ball,red). color(ball,green). color(book,red). color(cube,green). color(cup,red). color(cube,yellow). color(ball,yellow). color(cube,pink). 我必须创建一个谓词,其中我必须使用bagof,以便创建一个包含所有颜色为的对象的列表。您的C^放错了位置。应该是bagof(X,C^(color(X,C),C@

我有以下谓词:

color(ball,red).
color(ball,green).
color(book,red).
color(cube,green).
color(cup,red).
color(cube,yellow).
color(ball,yellow).
color(cube,pink).

我必须创建一个谓词,其中我必须使用
bagof
,以便创建一个包含所有颜色为
的对象的列表。您的
C^
放错了位置。应该是
bagof(X,C^(color(X,C),C@
请显示一个示例查询和您所指的多个解决方案。你是说复制品吗?多张名单?@潜伏者,谢谢。这就是我想要的。您可以在评论中再次键入您的答案以批准它。