pos(f([],0)).
pos(f([1],1)).
pos(f([2],2)).
pos(f([0,2],2)).
pos(f([1,2],3)).
pos(f([0,0,3],3)).
pos(f([1,2,3],6)).

neg(f([],2)).
neg(f([1],0)).
neg(f([2],1)).
neg(f([0,2],0)).
neg(f([0,0,3],0)).
neg(f([1,2,3],1)).
neg(f([1,2,3],2)).
neg(f([1,2,3],3)).