过滤器关联表序言

Question

我需要编写include_assoc / 3谓词，该谓词使用给定的谓词（第一个参数）过滤关联数组（第二个参数），并将结果写入第三个参数。 谓词应类似地工作以包含/3。筛选器谓词应使用键值对作为参数。

我无法在过滤之前将表更改为列表。 我该怎么做？

我的密码

include_assoc(_,X,_):-
    empty_assoc(X),!.
include_assoc(Filtr,Tab,Result):-
    min_assoc(Tab,Key,Value),
    del_min_assoc(Tab,_,_,Tab1),
    (call(Filtr,Key-Value) -> 
    (include_assoc(Filtr,Tab1,Result1),
    put_assoc(Key,Result1,Value,Result));
    include_assoc(Filtr,Tab1,Result1)).

Answer 1

最简单的解决方案是将其转换为列表，使用谓词过滤列表，然后构造一个新的asoc。

:- use_module(library(assoc)).
:- use_module(library(apply)).

filter_assoc_l(Filter, In, Out) :-
    assoc_to_list(In, List),
    include(Filter, List, OutList),
    list_to_assoc(OutList, Out).

您显然无法执行此操作。 但是您仍然需要一种方法来迭代assoc的所有项目，而无需进入失败驱动的循环，该循环将在每次失败后撤消绑定。 gen_assoc将为您提供所有密钥，但是您要么必须使用findall/3 （使其与将其转换为列表相同），要么每次绑定后都将失败（撤消工作）。

这里的另一种方法是仅获取键列表，然后在它们与过滤器不匹配时使用移除谓词去除值。 首先，我们需要获取密钥，然后调用帮助谓词以遍历密钥列表：

filter_assoc_unlist(Filter, In, Out) :-
    assoc_to_keys(In, Keys),
    filter_assoc_keys(Filter, In, Keys, Out).

现在，我们可以检索当前键/值（键列表的头部），然后调用您的过滤谓词进行检查。 如果通过了，我们只是重复出现； 如果失败，则将其删除，并将删除结果传递给递归步骤。

filter_assoc_keys(Filter, In, [Key|Keys], Out) :-
    min_assoc(In, Key, Value),
    (call(Filter, Key-Value) ->
        filter_assoc_keys(Filter, In, Keys, Out)
    ;
        del_assoc(Key, In, _, Next),
        filter_assoc_keys(Filter, Next, Keys, Out)
    ).

当我们用尽所有键时，输入就是输出：

filter_assoc_keys(_, Out, [], Out).

我不知道这是否满足您的条件，但我希望能做到。