A function that counts the number '1's, '2's and '3's in a list, with count represented as, for example, s(s(s(0))) = 3

Question

I want to create a predicate over the alphabet {1,2,3}, f/4(N1,N2,N3,N4,L), such that N1, N2 and N3 are a count of the number of times a 1, a 2, and a 3 appeared in a list,