如何检查满足条件的任何答案

时间:2016-10-14 07:55:26

标签: prolog

我刚刚开始使用Prolog,我遇到了障碍。我已经在这里和谷歌搜索了这个答案,现在可能需要2个小时。它可能很容易,我可能错过了,但我即将放弃,所以请帮助我。

我真的不知道如何提问,所以这里有一个例子。

让我说我有这个:

related(football, sport).
related(thing, otherthing).
related(rugby, sport).

我想制定规则。这条规则的一个条件是检查我是否与任何事情有关。

rule(A) :- <Here I want to check if A is related to anything> , othercondition(A).

我需要知道它是否与任何东西有关。与此无关的是什么。

使用

rule(rugby).
例如,因为橄榄球与运动有关,所以我会说真的。

我希望我的问题很清楚。

1 个答案:

答案 0 :(得分:1)

你可以写:

rule(A):-related(A,_),othercondition(A).

请注意&#39; _&#39;是匿名变量,与任何东西匹配。