added core.logic to monte