Good Day I am doing the problema of arithmetic in prolog and Yes its the dot Product I have Searched and found a mess of code that did not equal to what the book is asking me. I
You use SWI-Prolog, so you can try :
:- use_module(library(lambda)). my_dot(L1,L2,R) :- foldl(\X^Y^Z^T^(T is X*Y + Z), L1,L2,0,R).