SICStus многомерные массивы

Question

Я хочу создать многомерный массив в 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).

Answer 1

Я не могу повторить проблему с бесконечным циклом для запросов вроде:

?- 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)

Answer 2

Полагаю, вы должны предотвратить успешное выполнение второго предложения 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).

Тот же подход можно использовать для исправления других процедур