Tool for core.logic Talk Idea