Another core.logic example