このディレクトリの索引
http://pc12.2ch.net/test/read.cgi/tech/1258158172/290
#  [1] 授業単元:プログラム  
#  [2] 問題文(含コード&リンク):  
#  行列とベクトルの掛け算 
#  y=Ax (A(3*3行列以上)とxを適当に初期化)  
# 

対象となる行列([[1,3,5],[2,8,12],[6,0,12]]).

行列とベクトルの積(_ベクトル,_行列とベクトルの積) :-
  対象となる行列(_行列),
  行列とベクトルの積(_行列,_ベクトル,_行列とベクトルの積).

行列とベクトルの積([],_ベクトル,[]).
行列とベクトルの積([_行|R1],_ベクトル,[_行2|R2]) :-
  行とベクトルの積(_行,_ベクトル_行2),
  行列とベクトルの積(R1,_ベクトル,R2).

行とベクトルの積([],[],[]).
行とベクトルの積([A|R1],[B|R2],[C|R3]) :-
  C is A * B,
  行とベクトルの積(R1,R2,R3).