У меня был быстрый вопрос повторно. экзистенциальный классификатор с использованием setof в прологе (т.е. ^).

с помощью SICStus кажется, что (несмотря на то, что утверждают многие веб-сайты), S действительно представляется количественно в приведенном ниже коде (используя стандарт болота, мать / потомок фактов, которые я здесь не включил):

child(M,F,C) :- setof(X,(mother(S,X)),C).

я проверяю объединение используя:

child(M,F,C) :- setof(X-S,(mother(S,X)),C).

поэтому следующий код с экзистенциальным оператором, похоже, не имеет значения:

child(M,F,C) :- setof(X,S^(mother(S,X)),C).

Есть идеи, почему это так? В какой ситуации вам понадобится объединитель?

Спасибо!