0

我想在 SICStus 中创建一个多维数组，它的作用与 ECLiPSe Dim 函数几乎相同。为此，我编写了这段代码，但不幸的是它总是进入无限循环。任何人都可以解决这个问题吗？

    %multDimensional Array 2d
    mult(X,Y,Final):- mult(X,Y,0,Final).

    mult(X,_,X,[]).
    mult(X,Y,Count,[A|B]) :- length(List,Y),
              A = List,
              Count1 is Count+1,
              mult(X,Y,Count1,B).


    %multDimensional Array 3d
    mult2(Z,X,Y,Final):- mult2(X,Y,Z,0,Final),!.
    mult2(_,_,Z,Z,[]).
    mult2(X,Y,Z,Count,[A|B]):- multi(X,Y,0,Final),
                     Count1 is Count+1,
                     A = Final,
                     mult2(X,Y,Z,Count1,B).
    multi(X,_,X,[]).
    multi(X,Y,Count,[A|B]) :- length(List,Y),
              A = List,
              Count1 is Count+1,
              multi(X,Y,Count1,B).
4

2 回答 2

0

我想当第一个子句已经成功时，您必须防止 mult/4、multi/4 和 mult2/5 的第二个子句成功（还要注意 mult/4 和 multi/4 也是如此）

例如，要修复 mult/4 您可以执行以下操作：

mult(X,_,X,[]).
mult(X,Y,Count,[A|B]) :-
  X\=Count,
  length(List,Y),
  A = List,
  Count1 is Count+1,
  mult(X,Y,Count1,B).

可以使用相同的方法来修复其他程序

于 2011-12-06T13:10:53.960 回答
0

对于以下查询，我无法复制无限循环的问题：

?- mult(3,4,F).
?- mult2(2,3,4,F).

然而，ECLiPSe 的dim/3构造是一个术语，而不是列表的列表。这应该可以解决问题：

dim(Matrix, [Dim]) :-
    !,
    functor(Matrix, [], Dim).
dim(Matrix, [Dim|Rest]) :-
    functor(Matrix, [], Dim),
    Matrix =.. [_|Args],
    dim0(Args, Rest).

dim0([], _) :- !.
dim0([Arg|Rest], Dims) :-
    dim(Arg, Dims),
    dim0(Rest, Dims).

?- dim(Matrix, [2, 2, 2]).
Matrix = []([]([](_655, _656), [](_659, _660)), []([](_674, _675), [](_678, _679)))
Yes (0.00s cpu)
于 2011-12-06T13:11:31.177 回答