%%   知識情報処理実習 r10の練習問題 解答例

% 1.
inner_product2(X,Y,IP) :- inner_product2(X,Y,IP,0).

inner_product2([],[],IP,IP).
inner_product2([X|X1],[Y|Y1],IP,Z) :- 
    Z1 is X*Y+Z, inner_product2(X1,Y1,IP,Z1).

test10_1(IP) :- inner_product2([1,2],[3,4],IP).