0

好吧，我知道这确实是一个愚蠢的问题，但我无法理解。有一项任务我应该找到 欧几里得（gcd）的递归算法。我已经完成了一个案例，在这里：

nondeterm nod (integer,integer,integer)
CLAUSES
nod (X,0,X):- !.
nod (0,X,X):- !.
nod (X,0,X):-X>0.
nod (X,Y,G):-Y>0, Z = X mod Y, nod (Y,Z,G).

我需要做另一种情况，其中递归从 х0 开始，当 Xi 调用函数计数 Xi+1 时。应该是这样的：

PREDICATES
nondeterm nod (integer,integer,integer)
nondeterm nod1 (integer,integer,integer,integer,integer)     
CLAUSES
nod(X,Y,Z):- nod1(X,Y,Z,0,0).   
nod1 (X,Y,Z,X,Y):- Otvet = Z, write("Otvet=", Otvet, "\n"), !.
nod1 (X,Y,X,Y):- nod1 (X,Y,X,Y).
nod1 (X,Y,Z,X1,Y1):-
              X1>Y1, X>0, Y>0, 
              Y2 = X1 mod Y1,
              X2 = Y1,
              nod1(X,Y,Z,X2,Y2).

但它不起作用。请帮帮我。

4

1 回答 1

0

以下代码适用于我。请注意 rem 的使用，但我想你也可以使用 mod：

% sys_gcd(+Integer, +Integer, -Integer)
sys_gcd(X, 0, X) :- !.
sys_gcd(X, Y, Z) :-
   H is X rem Y,
   sys_gcd(Y, H, Z).

以下是使用 SWI-Prolog 运行的一些示例：

?- sys_gcd(20,30,X).
X = 10.
?- sys_gcd(-20,30,X).
X = 10.
?- sys_gcd(20,-30,X).
X = -10.
?- sys_gcd(-20,-30,X).
X = -10.

如果您想要结果的特定符号，则需要围绕它的附加代码。

再见

于 2015-08-18T09:24:55.790 回答