Forall/3手写

Question

我希望有一个简单的函数，它接受一种类型的所有事实并列出它：

% Facts
fact('a','1').
fact('b','2').
fact('c','3').

% Call
all_facts(L) :- ......

% Expected
27 ?- all_facts(L).
L = [ ('a', '1'), ('b', '2'), ('c', '3')].

我知道forall/3已经很好地做到了这一点，并且可能是任何实际场景中的首选用法：

all_facts(L) :- findall(
                        (LETTER, NUMBER),
                        fact(LETTER, NUMBER),
                        L
                       ).

但我并不是为了这里的功能而尝试实现这一点。我想了解它背后的逻辑，因为我是Prolog的新手。到目前为止，我在这里：

all_facts([(LETTER, NUMBER)|Rest]) :- fact(LETTER, NUMBER), fail.

这按顺序检查所有事实，因为它总是失败。我的问题是将它们保存在一个列表中。

Answer 1

正如@mat从《Prolog的手艺》一书中建议的那样，你可以这样写：

all_facts( Template, Enumerator, List ) :-
        asserta( 'find all'( [] ) ),
        call( Enumerator ),
        asserta( 'find all'( {Template} ) ),
        fail
    ;
        'all found'( [], List ).

'all found'( SoFar, List ) :-
    retract( 'find all'( Item ) ),!,
    'all found'( Item, SoFar, List ). 

'all found'( [], List, List ).

'all found'( {Template}, SoFar, List ) :-
    'all found'( [Template|SoFar], List ).

示例：

?- all_facts((X,Y),fact(X,Y),L).
L = [ (a, '1'), (b, '2'), (c, '3')].

这背后的基本思想是断言静态(事实/2)但动态(使用断言)从您的文件加载的术语，以便能够在使用它们时收回它们。