このディレクトリの索引
http://toro.2ch.net/test/read.cgi/tech/1349527750/722
#  [1] 授業単元:C言語 アルゴリズム 
#  [2] 問題文 行列ベクトル積 
#  http://ime.nu/ideone.com/21ECGq 
#  

行列ベクトル積([],_,[]).
行列ベクトル積([L|R1],_ベクトル,[[S]|R3]) :-
        行列ベクトル積_1(L,_ベクトル,S),
        行列ベクトル積(R1,_ベクトル,R3).

行列ベクトル積_1([],[],0).
行列ベクトル積_1([A|R1],[[B]|R2],S) :-
        行列ベクトル積_1(R1,R2,S_1),
        S is S_1 + A * B.