Logics for constructing generative art systems · Study