project mit core.logic