Prolog查询中的更多结果

我有这些规则和事实——很简单

alergicky(novotny, mleko).
alergicky(novotny, korysi).
alergicky(cerna, lepek).
alergicky(cerna, ryby).

obsahuje(kapr, ryby).
obsahuje(krupice, mleko).
obsahuje(chleba, lepek).
obsahuje(chobotnice, korysi).

neji(F,C):-alergicky(F,X),obsahuje(C,X).

现在我问，prolog给我这个

2 ?- neji(novotny,X).
X = krupice

-但我需要两个结果，因为true也是X=chobotnice

---

请告诉我如何提问并用prolog给出正确的结果？

如果您想同时获得所有结果，也可以使用

findall/3

?- findall(X, neji(novotny, X), Y).
Y = [krupice, chobotnice].

---

否则，鲍里斯对你文章的评论就是你所需要的。

按

、选项卡或空格。。。