prod_list(List, Prod) is true if and only if Prod is the result of multiplying all the elements on List.