My talk about core.logic at hotcode2013