Сложение матриц (SWI Prolog)

Формулировка задачи:

Здравствуйте! Это моя первая программа на прологе.Вследствие чего испытываю трудности.Нужно реализовать сложение двух матриц на SWI Prolog.Имеется реализация на Турбо прологе.Хотелось бы узнать,как осуществить перевод в SWI Prolog.Как я понял,раздел Домены и Предикаты в данном случае не нужны.Вместо "=" пишем "is".Что еще необходимо?

domains
num=integer*
matrica=num*
 
predicates
replace(matrica,matrica,matrica).
summ(num,num,num).
 
clauses
replace([M1|M],[N1|N],[E1|E]):-summ(M1,N1,E1),replace(M,N,E).
replace([],[],[]).
summ([K1|K],[P1|P],[L|E]):-L=K1+P1,summ(K,P,E).
summ([],[],[]).

Заранее благодарю за любую помощь.

Решение задачи: «Сложение матриц (SWI Prolog)»

Листинг программы

?- replace([[1,2,3],[4,5,6]],[[60,50,40],[30,20,10]],Z).
Z = [[61, 52, 43], [34, 25, 16]].

Объяснение кода листинга программы

Код выполняет замену подматрицы в первой матрице на соответствующую подматрицу второй матрицы.

Первая матрица: [[1,2,3],[4,5,6]]
Вторая матрица: [[60,50,40],[30,20,10]]
Результат замены: Z = [[61, 52, 43], [34, 25, 16]]