序言中的匹配变量

Question

我在项目中需要创建一个名为is_category（c）的谓词，该谓词检查该c是否存在于我的数据库中，这是一个可以澄清的示例：

is_category(animals):-
true.

另一个：

is_category(C):-
C= animals;
C= animals;
C= greetings;
C= fruits;
C= animals;
C= collections.

我的事实是：

word(horse,animals).
word(panda,animals).
word(hello,greetings).
word(banana,fruits).
word(bison,animals).
word(hoard,collections).

现在我的问题是如何处理。我想到的唯一解决方案就是要问是否有任何类别命名动物并使用钥匙切割，它显示一个真实的方法，但它仅显示动物一词并停止，因此请帮助我。

这是我的想法：

is_category(C):-
word(_,C),!.

Answer 1

您可以使用这样的谓词：

is_category(Category) :-
  setof(Category, Word^word(Word, Category), Categories),
  member(Category, Categories).

因此，对于这个知识库：

word(horse,animals).
word(panda,animals).
word(hello,greetings).
word(banana,fruits).
word(bison,animals).
word(hoard,collections).

您可以问“有一个类别动物的单词吗？”

?- is_category(animals).
true

在回溯时，会生成所有可能的不同（和分类）类别：

?- is_category(Category).
Category = animals ;
Category = collections ;
Category = fruits ;
Category = greetings ;
false.