如何从给定列表中返回对目标数字进行 mod 0 的数字列表？

Question

在我的函数 modded(X,Y,Z) 中，根据给定数字 Y 和给定数字 Z 列表生成一个列表。我想做的是遍历列表 Z 的每个值并查看如果列表中的当前值能整除 Y，(Y/Zz == 0)。我对如何访问每个 Z 的值有点困惑，因为 Prolog 没有传统的迭代器。

modded(X,16,[2,3,4,5,7,8]) 的预期行为将返回 [2,4,8] 列表。只允许完全除数。

modded([],Y,Z):-
    % X is the generated list, Y is the number, Z is a list of given numbers.
    %Base case: Z is empty
    Z =:= [],
    X =:= Z.

modded([Zz|T],Y,[H|T]):-
    %Recursive is Y > 1, Zz is an element of Z
    0 is Y mod Zz,
    Y =< Z - 1,
    Zz is Z + 1,
    % Want to add to a if Y mod Zz == 0
    modded(T,Y,Zz).

Answer 1

modded([], _, []).

modded([Zz|T], Y, [Zz|Z]) :- % Case where Zz is a divisor of Y.
    0 =:= Y mod Zz,
    modded(T, Y, Z).

modded(T, Y, [Zz|Z]) :- % Case where Zz is not a divisor of Y.
    0 =\= Y mod Zz,
    modded(T, Y, Z).

然后

?- modded(X,16,[2,3,4,5,7,8]).
X = [2, 4, 8]

基本情况包含输入和输出的空列表。

如果 Zz 是除数并且被添加到结果列表 [Zz|T]，则中间情况成立。

如果 Zz 不是除数并且没有添加到结果列表 T 中，则最后一种情况成立

。两种计算情况都向下递归剩余的 Z 列表以填充剩余的结果 T。

---

如果你不被迫使用递归，你可能会写：

modded(X, Y, Z) :-
    findall(Zz, (member(Zz, Z), 0 =:= Y mod Zz), X).

“找到所有属于 Z 的成员和 Y 的约数的 Zz，并将它们存储在 X 中”。

或者

num_divisor(Y, Zz) :-
    0 =:= Y mod Zz.

modded(X, Y, Z) :-
    include(num_divisor(Y), Z, X).

---

您可能需要听到但可能不会关心的评论：

如果您使用的是 SWI Prolog，则 https:/ /swish.swi-prolog.org/ 是一个出色的工具，您可以立即尝试一些代码，而无需编辑/保存/重新加载。尝试将一些代码放入其中：

Z =:= []
Type error: `evaluable' expected, found `[]' (an empty_list)

该行永远不会起作用。下一行也不是：

X =:= Z.
Arguments are not sufficiently instantiated
In:
   [1] _1722=:=_1724

在 modded([Zz|T],Y,[H|T]) 行中，通过在这些位置中使用 T ，您可以表示两个列表的尾部必须相同。这些列表之一是输入，一个是过滤后的输出。那是行不通的。

在 0 is Y mod Zz 行中，它表示 Zz 除 Y。 modded 的参数不是应该是（结果、数字、输入）吗？因此，使用 modded([Zz|T],Y,[H|T]) 不会是 H 除以 Y，而不是 Zz > 哪个还没有价值？

在 0 is Y mod Zz 行中，它表示 Zz 除 Y。但是，如果它确实有效并且输入到达 3，则该行将为 false，因为 3 不将 16 均分，这样整个程序就会失败。如果数字不是除数，则无法处理该怎么做。

行 Y =< Z - 1 也不像其他语言那样工作，=< 不会计算 Z - 1。这几乎是幸运的，因为 Z 在代码中没有值。 （即使有，你不是说它是输入列表吗？Y =< [2,3,4,5,7,8] - 1 会是什么？）

Zz 是 Z + 1 Z 在这里也没有值，但如果有的话也会失败，因为 Zz 与 modded([Zz ) 绑定在顶部，并且它
modded(T,Y,Zz) 不是输入列表 modded 的最后一个参数，为什么它现在是除数？第一个参数是结果，现在它是输入列表的尾部？

是的，您很困惑，在尝试构建基础知识之前，您需要熟悉基础知识。

统一并证明搜索

在 LearnPrologNow 递归向下列表。