프롤로그에서 행렬 곱셈

Question

행렬을 곱하는 코드를 발견했습니다.

% SWI-Prolog has transpose/2 in its clpfd library 
:- use_module(library(clpfd)). 

% N is the dot product of lists V1 and V2. 
dot(V1, V2, N) :- maplist(product,V1,V2,P), sumlist(P,N). 
product(N1,N2,N3) :- N3 is N1*N2. 

% Matrix multiplication with matrices represented 
% as lists of lists. M3 is the product of M1 and M2 
mmult(M1, M2, M3) :- transpose(M2,MT), maplist(mm_helper(MT), M1, M3). 
mm_helper(M2, I1, M3) :- maplist(dot(I1), M2, M3). 

내가 입력 한 경우 : mult([[1,2],[3,4]],[[5,6],[7,8]],X). 다음 내가 X = [[19, 22], [43, 50]].

얻을 그러나 나는 X = [[1*5+2*7, 1*6+2*8], [3*5+4*7, 3*6+4*8]] .

P.S.을 얻을 수있는 방법 나는 프롤로그를 처음 보았습니다. 감사합니다.

Answer 1

이 쉬운 대신에 산술 식을 평가/2, 단순히 평가되지 않은 그대로두고 대신 그 수치의 화합물 용어를 사용합니다. 나는 제품/3 그것을 대신의

product(N1,N2,N3) :- N3 is N1*N2. 

나는 쓰기 :

product(N1, N2, N1*N2). 

당신은 sumlist/2의 해당 버전을 작성해야합니다.