About building a list until it meets conditions

Question

I wanted to solve "the giant cat army riddle" by Dan Finkel using prolog.

Basically you start with [0], then you build this list by using one o