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

行列ベクトル積(_行列,_ベクトル,_行列ベクトル積) :-
        findall([S],(
                    append(_,[L|_],_行列),
                    findsum(U,(
                                nth1(Nth1,L,A),
                                nth1(Nth1,_ベクトル,[B]),
                                U is A * B),
                           S)),
                _行列ベクトル積).


findsum(T,P,Sum) :-
findall(T,P,L),
sum_list(L,Sum).