Updates on the core.logic essay