Lab 2

1. inmultirea elementelor unei liste cu o constanta

mul(k, l1...ln) = { [], l = []

(l1 * k) U mul(k,l2...ln), altfel }

implementare prolog:
mul(_, [], []).
mul(K, [H|T], [HR|HT]0) :-
HR is H * K,
mul(K, T, TR). sau mul(K, T, R2),
R = [HR|R2].

min([H|T], R):-
...

sum(L,R):-
min(L,Min),
Min > 0.