experimenting with core.logic