Add core.logic to libs