Sharing my research/learning on core.logic

Added some links and a little bit of code.   The code is a solution to the "unique pairs" aspect of the larger solution.