在不使用内置Findall的情况下实现简单版本的Prolog Findall

Question

我正在尝试在Prolog中实现一个简单的Findall版本，而无需使用内置的Findall或类似的内置谓词 - 就像学习练习一样。

例如，假设我的数据库中有一个关系a/1，

a(1).
a(11).
a(13).

我希望像find_the_as（list）这样的关系给我列表= [1,11,13]。

我可以使用断言和缩回的基于“失败”的循环来执行此操作，但是我认为必须有一种递归方法来使用累加器来执行此操作（而且我只是看不到它）。

提前致谢！

例如：

a（1）。
A（11）。
A（13）。

%
% collect all the N such that a(N) 
% into a List
%  
collect_n_such_that_a_of_n(List) :- 
   retractall(the_n_such_that_a_of_n(_)),
   assert(the_n_such_that_a_of_n([])),
   (
      a(N),
      the_n_such_that_a_of_n(As),
      retractall(the_n_such_that_a_of_n(_)),
      assert(the_n_such_that_a_of_n([N|As])),
      fail
   ) ; true,
   the_n_such_that_a_of_n(List).
   

Answer 1

使用此示例：

a(1).
a(11).
a(13).

find(Input,Input) :- \+ (a(X), \+ memberchk(X,Input)).
find(Input,Output) :- a(X), \+ memberchk(X,Input), !, find([X|Input],Output). 

find_the_as(List) :- find([], List).

然后查询：

find_the_as(List).

返回：

List = [13, 11, 1]

示例使用：

• - 如果第一个参数是第二个参数表示的列表的成员。
• \+/1 - 如果目标，则以其论点为代表。

与Findall不同，结果列表不包含重复项。例如。如果添加了额外的 a（11），则结果列表仍然只包含一个 11 。

与Findall不同，结果列表中的元素是相反的（即 [13，11，1] 而不是 [1，11，13] ）。

Answer 2

使用 call_nth/2 （（当心具有副作用的程序）：

findall_recursive(Template, Goal, Bag):-
  findall_recursive(Template, Goal, Bag, 1).
  
findall_recursive(Template, Goal, Bag, N) :-
    copy_term(Goal-Template, CGoal-CTemplate),
    (   call_nth(CGoal, N)
    ->  succ(N, N1),
        Bag=[CTemplate|Bag1],
        findall_recursive(Template, Goal, Bag1, N1)
    ;   Bag=[]
    ).

样本运行具有以下事实：

a(1).
a(11).
a(13).
a(11).

?- findall_recursive(X, a(X), Bag).
Bag = [1, 11, 13, 11].