experiment using core.logic