Experiments in procedural generation using core.logic