prolog - 在 Prolog 中不使用 findall/3 查找查询的所有匹配项

Question

我得到了一个数据库，我正在使用谓词查询数据库

findmin(A,B,course(X,Y)):- course(X,Y),X >= A,Y =< B.

我有我的数据库，

course(a1,b1).
course(a2,b2).
course(a3,b3).
...

现在我不想使用标准findall/3谓词，而是想使用我自己的 findall，

finda(X,findmin(A,B,X),L)

如果我使用总是将我带到数据库开头的递归，我将不知道如何递归地使用 findmin 来给我在数据库中不同的事件。

Answer 1

实现此目的的一种方法是使用具有副作用的故障驱动循环。在实现的情况下，这可以大致实现如下：findall

finda(X, Goal, Xs) :-
    % execute the goal to produce the binding for X
    Goal,
    % assert the result to the database (the 'side-effect')
    assert_to_db(..., Goal, ...)
    % deliberately fail, forcing Goal to be re-evaluated
    fail. 
finda(_X, _Goal, Xs) :-
    % retrieve the result from the cache and clear it
    retrieve(..., Xs, ...).

有关完整实现，请参阅 StackOverflow 上的此响应。