我需要一些关于以下查询的帮助：
与给定的关系：
hiker(HN, Name), mountain(MN, Height), climbed(HN, MN, Date).
Q.：为以下查询提供安全的 Datalog 规则（必要时使用否定）：
(a) 用Height > 5000m 查找爬过一些山的徒步旅行者的名字。
我是这样写的
hiker(Name): - moutain(MN, Height), climbed(HN, MN, Date), Height > 5000
但是如果我必须找到攀登每座高度 > 5000m 的登山者的名字，我很难理解这两个中 some 和 every 之间的区别问题。
请指导我。
【问题讨论】：
“一些”问题很容易用 Datalog 和 SQL 等语言表达，因为您只需为每位徒步旅行者找到一座山。远足者是否徒步过一座、两座或更多座山并不重要。数据记录规则非常适合这一点。
result(Name) :-
hiker(H, Name),
climbed(H, M, _),
mountain(M, Height), Height > 5000.
“每个”问题都更难回答，因为您现在需要确认徒步旅行者已经爬过每座山，而不仅仅是其中一座。
假设一个封闭的世界数据库，“每个”问题都可以翻译成双重否定，这很容易表达。您需要搜索没有超过 5000m 的山峰且他们没有爬过的徒步旅行者。
我将在此查询的第一部分为您提供一些帮助，然后您可能会找到答案。
// this is just for convenience
high_mountain(M) :-
mountain(M, Height),
Height > 5000.
// there exists a mountain hiker H has not climbed.
some_not_climbed(H) :-
hiker(H, _),
high_mountain(M),
!climbed(H, M).
// for hiker H there is no mountain that he has not climbed.
result(H) :-
hiker(H, _),
...
【讨论】：
假设我们有 3 座高度大于 5000 的山（名称：M1、M2、M3）。
一位名叫 X 的徒步旅行者已经爬过 5 座山（M1、M20、M30、M40、M50），其中只有一座山的高度超过 5000 (M1)。
这个徒步旅行者的名字应该出现在第一个问题的列表中，因为他已经攀登了“一些”山 > 5000 座。
但是，这个徒步旅行者没有爬过所有高于 5000 的山峰（他没有爬过 M2 和 M3），所以他的名字不应该出现在第二个列表中。
【讨论】：