An experiment with core.logic