play with core.logic