Example of core.logic taken from http://objectcommando.com/blog/2011/11/04/the-magical-island-of-kanren-core-logic-intro-part-1/
Slightly adapted to take a parameter
Described a bit here http://blog.bloidonia.com/post/29552846202/using-clojure-and-core-logic-from-groovy