Пролог: получение предикатных решений и утверждение их как фактов

Question

У меня есть конкретная проблема, но я просто попробую придумать общий вопрос, чтобы другие тоже могли извлечь из него пользу ...

У меня есть предикат, который возвращает много решенийто есть

X=5; X=2; X=7

, и я хочу предикат, который получает каждое из этих решений и утверждает их как факты Пролога, поэтому в этом случае я получаю три фактанапример,

fact(5) fact(2) fact(7)

так что вызов fact(5) будет правдой, но вызов fact(8) будет ложным, потому что мы никогда не утверждали это, потому что это не было решением.

Но я не хочу иметь предикат, в котором вы должны постоянно просить решения для утверждения каждого отдельного факта.Я хочу вызвать предикат, чтобы он прошел через все решения в фоновом режиме, утвердил их и все.

Один из способов ее решения - использовать findall, чтобы поместить все решения в список, а затем просто пройти по списку, утверждая каждый элемент списка.Тем не менее, я не думаю, что это очень элегантно.Должен быть более хороший способ сделать это, не возиться со списками.

Answer 1

Используйте петлю, управляемую отказом, для принудительного возврата по всем решениям:

?- computation(X), false.

Вы можете игнорировать декларативно ложное значение истинности этого запроса с помощью ignore / 1:

?- ignore((computation(X),false)).

Answer 2

Эта функция может быть реализована с помощью setof и создания предиката второго порядка.

:- dynamic fact/1.

isAns(5).
isAns(2).
isAns(7).

computation(F) :- setof(X,call(F,X),S),factify(S).

factify([X|Xs]) :- assert(fact(X)),factify(Xs).
factify([]).

Тогда, когда мы идем и спрашиваем о фактах, мы получаем:

computation(isAns), fact(X).
X = 5;
X = 2;
X = 7;
false