Answer Set Programming for Procedural Content Generation: A Design Space Approach | Synapse