Add new post about binomial coefficient in prolog