序言找到一个数字列表的GCD

Question

你好，我试图找到在Prolog中的数字列表的GCD，但我无法设法做到这一点。 你能帮忙吗？

我甚至没有接近，所以我不会分享我的任何工作到现在。 PP：在试图解决这个问题的过程中，我遇到了另一个我无法解决的问题，如果你能帮助解决这个问题，我将不胜感激。它找到两个数字的所有常见因数。

谢谢！

Answer 1

我相信这个链接会帮助你 https://math.stackexchange.com/questions/8611/number-of-common-divisors-between-two-given-numbers 坚持计数你可以将数字存储到表中例如。

Answer 2

感谢Lurker！ 我没有使用正确的算法。我想到找到两个数字的GCD，然后是结果和下一个GCD，但我不确定为什么我感到困惑，这是行不通的。

总之，这里是代码：

gcd(0,X,X):- X > 0, !. 
gcd(X,Y,Z):- X>=Y, X1 is X -Y, gcd(X1,Y,Z). 
gcd(X,Y,Z):- X<Y, X1 is Y-X, gcd(X1,X,Z). 
gcdL([H,H1|T],Z):-gcd(H,H1,X),gcdL([X|T],Z). 
gcdL([H1,H2],Z):-gcd(H1,H2,Z). 

而对于这里的好奇的是滞后的方法，我试图实现。我几乎在那里，脚本给出的第一个答案是正确的，但它仍然在回溯。无论如何，这是丑陋的，长期的，艰苦的和低效的：

minel([X],X). 
minel([H,H1|T],X):-H>H1,minel([H1|T],X). 
minel([H,H1|T],X):-H=<H1,minel([H|T],X). 
gcdL(L,X):-gcdL(L,X,1). 
gcdL(L,X,C):-minel(L,M),C<M,delAll(L,C),Temp is C,C1 is C + 1,gcdL(L,R,C1),X is max(Temp,R). 
gcdL(L,X,C):-minel(L,M),C1 is C + 1,C1=<M,gcdL(L,X,C1). 
gcdL(L,X,C):-minel(L,M),C=:=M,X is 1. 
delAll([T],X):- 0 is mod(T,X). 
delAll([H|T],X):- 0 is mod(H,X),delAll(T,X) 

注意：首先找到最合适的算法，然后尝试脚本的问题。