What is wrong with the proposed solution for nonmembero in http://stackoverflow.com/questions/16370327/why-does-my-clojure-core-logic-nonmember-function-return-two-values/41138478#41138478 ? And why does my non-defne work as expected? Is there a problem with defne?