l1plusal2([], [], _, []).
l1plusal2([X|Xs], [Y|Ys], A, [Z|Zs]) :-
    Z is X + A * Y,
    l1plusal2(Xs, Ys, A, Zs).