A language for programming in logic with finite sets