Update core.logic version, adapt extend example