Журнал данных для запроса

Вопрос «некоторые» легко выразить с помощью таких языков, как Datalog и SQL, потому что вам нужно найти только одну гору для каждого туриста. Неважно, прошел ли турист одну, две или более гор. Правила регистрации данных идеально подходят для этого.

result(Name) :-
  hiker(H, Name),
  climbed(H, M, _),
  mountain(M, Height), Height > 5000.

На «каждый» вопрос ответить труднее, потому что теперь вам нужно подтвердить, что путешественник поднялся на каждую гору, а не только на одну из них.

Предполагая закрытую базу данных мира, вопрос «каждый» может быть переведен в двойное отрицание, что легко выразить. Вам нужно искать туристов, для которых не существует горы > 5000 м, на которую они не поднялись.

Я немного помогу вам с первой частью этого запроса, и тогда вы, вероятно, сможете найти ответ.

// 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 (названия: М1, М2, М3).

Путешественник с именем X поднялся на 5 гор (M1, M20, M30, M40, M50), и только одна из них имеет высоту более 5000 м (M1).
Это имя туриста должно появиться в вашем список для первого вопроса, потому что он поднялся на «некоторые» горы > 5000.

Однако этот турист НЕ прошел все горы выше 5000 (он не поднимался на М2 и М3), поэтому его имя не должно фигурировать во втором списке.